FM'21 | Session 5 : Efficient Algorithms for ω-Regular Energy Games

Chair: Paula Herber
Presenter: Gal Amram
Title: Efficient Algorithms for ω-Regular Energy Games

Paper: https://doi.org/10.1007/978-3-030-908... by
Gal Amram, Shahar Maoz, Or Pistiner and Jan Oliver Ringert.