75 search results - page 8 / 15 » Mean-Payoff Parity Games |
FOSSACS
2004
Springer
15 years 3 months ago
2004
Springer
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...
CONCUR
2009
Springer
15 years 4 months ago
2009
Springer
We present a new algorithm for computing the winning region of a parity game played over the configuration graph of a pushdown system. Our method gives the first extension of the...
FSTTCS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper proposes a new algorithm that improves the complexity bound for solving parity games. Our approach combines McNaughton’s iterated fixed point algorithm with...
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...
MFCS
2009
Springer
15 years 4 months ago
2009
Springer
