9 citations · 9 across the 1 of their papers we have counts for
1 paper
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…