129
click to vote
FORMATS
2008
Springer
15 years 4 months 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...