1599 search results - page 4 / 320 » Algorithms for Parity Games |
FORMATS
2008
Springer
14 years 11 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...
111
click to vote
CSL
2008
Springer
14 years 11 months ago
2008
Springer
This paper presents a novel strategy improvement algorithm for parity and payoff games, which is guaranteed to select, in each improvement step, an optimal combination of local str...
CONCUR
2008
Springer
14 years 11 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...
48
Voted
DAGSTUHL
2001
14 years 11 months ago
2001
CORR
2008
Springer
14 years 9 months ago
2008
Springer