Sciweavers

LOGCOM
2008
60views more  LOGCOM 2008»
13 years 4 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 4 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