63 citations · 383 across the 27 of their papers we have counts for
1 paper · 2 filters
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…