Showing cs.GTShow all
2 papers · 1 filter
cs.GT2026
Doubly Fair Parity Games
Daniel Hausmann, Nir Piterman, Irmak SaÄlam +1
We consider two-player games over finite graphs in which both players are restricted by fairness constraints on their moves. Given a two player game graph and a set of fa…
cs.GT2024
Faster and Smaller Solutions of Obliging Games
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…