Sciweavers

LOGCOM
2008
60views more  LOGCOM 2008»
13 years 11 months ago
Monotonic and Downward Closed Games
In an earlier work [Abdulla et al. (2000, Information and Computation, 160, 109
Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d'Ors...
STOC
2001
ACM
161views Algorithms» more  STOC 2001»
14 years 11 months ago
Quantitative solution of omega-regular games
We consider two-player games played for an infinite number of rounds, with -regular winning conditions. The games may be concurrent, in that the players choose their moves simulta...
Luca de Alfaro, Rupak Majumdar