The Batalin-Vilkovisky (BV) formalism can be seen as a generalisation of the BRST cohomological methods to handle field theories with symmetries. In this talk I will give an introduction to the basics of this formalism, trying to recover what we already know and hinting at why this is a useful generalisation.
Links:
[1] https://www.mpim-bonn.mpg.de/taxonomy/term/39
[2] https://www.mpim-bonn.mpg.de/node/4234
[3] https://www.mpim-bonn.mpg.de/node/8100