38 citations · 133 across the 14 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 9 cited
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…
cs.SE2016★ 38 cited
Synthesizing a Lego Forklift Controller in GR(1): A Case Study
Shahar Maoz, Jan Oliver Ringert
Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from a given specification. GR(1) is a well-known fragment of linear temporal logic…