Symbolic BDD and ADD Algorithms for Energy Games

Shahar Maoz, Or Pistiner, Jan Oliver Ringert

Energy games, which model quantitative consumption of a limited resource, e.g., time or energy, play a central role in quantitative models for reactive systems. Reactive synthesis…