Sciweavers

6 search results - page 1 / 2
» Playing Muller Games in a Hurry
Sort
View
CORR
2010
Springer
59views Education» more  CORR 2010»
13 years 11 months ago
Playing Muller Games in a Hurry
John Fearnley, Martin Zimmermann 0002
CONCUR
2005
Springer
14 years 4 months ago
Games Where You Can Play Optimally Without Any Memory
Abstract. Reactive systems are often modelled as two person antagonistic games where one player represents the system while his adversary represents the environment. Undoubtedly, t...
Hugo Gimbert, Wieslaw Zielonka
CORR
2006
Springer
103views Education» more  CORR 2006»
13 years 11 months ago
Positional Determinacy of Games with Infinitely Many Priorities
We study two-player games of infinite duration that are played on finite or infinite game graphs. A winning strategy for such a game is positional if it only depends on the current...
Erich Grädel, Igor Walukiewicz
FSTTCS
2008
Springer
13 years 12 months ago
Graph Games on Ordinals
We consider an extension of Church’s synthesis problem to ordinals by adding limit transitions to graph games. We consider game arenas where these limit transitions are defined...
Julien Cristau, Florian Horn
FSTTCS
2008
Springer
13 years 12 months ago
Banach-Mazur Games on Graphs
We survey determinacy, definability, and complexity issues of Banach-Mazur games on finite and infinite graphs. Infinite games where two players take turns to move a token thro...
Erich Grädel