Sciweavers

1599 search results - page 9 / 320
» Algorithms for Parity Games
Sort
View
134
Voted
CORR
2006
Springer
103views Education» more  CORR 2006»
15 years 3 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
120
Voted
FOSSACS
2004
Springer
15 years 9 months ago
Perfect-Information Stochastic Parity Games
We show that in perfect-information stochastic parity games with a finite state space both players have optimal pure positional strategies. Contrary to the recent proofs of this f...
Wieslaw Zielonka
154
Voted
MFCS
2010
Springer
15 years 2 months ago
Parity Games with Partial Information Played on Graphs of Bounded Complexity
Abstract. We address the strategy problem for parity games with partial information and observable colors, played on finite graphs of bounded graph complexity. We consider several...
Bernd Puchala, Roman Rabinovich
86
Voted
FOSSACS
2007
Springer
15 years 10 months ago
Generalized Parity Games
Krishnendu Chatterjee, Thomas A. Henzinger, Nir Pi...