133 citations · 155 across the 26 of their papers we have counts for
1 paper · 2 filters
Daniel Hausmann, Nir Piterman
Obliging games have been introduced in the context of the game perspective on reactive synthesis in order to enforce a degree of cooperation between the to-be-synthesized system an…