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 $G=(V,E)$ and a set of fa…