Efficient Algorithms for Omega-Regular Energy Games.

Gal Amram, Shahar Maoz, Or Pistiner, Jan Oliver Ringert

Browse the full FM paper archive.