71 search results - page 5 / 15 » Clique-Width and Parity Games |
FOCS
2004
IEEE
13 years 9 months ago
2004
IEEE
The Lemke
FORMATS
2008
Springer
13 years 7 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...
CORR
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. This article extends the idea of solving parity games by strategy iteration to non-deterministic strategies: In a non-deterministic strategy a player restricts himself to...
CONCUR
2008
Springer
13 years 7 months ago
2008
Springer
We consider imperfect-information parity games in which strategies rely on observations that provide imperfect information about the history of a play. To solve such games, i.e., t...
LICS
2009
IEEE
14 years 20 days ago
2009
IEEE
This paper presents a new lower bound for the discrete strategy improvement algorithm for solving parity games due to V¨oge and Jurdzi´nski. First, we informally show which stru...