93
Voted
FORMATS
2008
Springer
15 years 13 days ago
2008
Springer
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...