Timed Parity Games: Complexity and Robustness

Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak Prabhu

We consider two-player games played in real time on game structures with clocks and parity objectives. The games are concurrent in that at each turn, both players independently pro…