Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games

Gal Amram, Shahar Maoz, Or Pistiner +1

$\omega$-regular energy games, which are weighted two-player turn-based games with the quantitative objective to keep the energy levels non-negative, have been used in the context of ve…