1599 search results - page 5 / 320 » Algorithms for Parity Games |
197
click to vote
IPL
2008
15 years 6 months ago
2008
Abstract. A stochastic graph game is played by two players on a game graph with probabilistic transitions. We consider stochastic graph games with -regular winning conditions speci...
180
click to vote
FSTTCS
2007
Springer
16 years 21 days 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...
170
click to vote
CONCUR
2009
Springer
16 years 1 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...
195
click to vote
BCS
2008
15 years 8 months ago
2008
Parity games underlie the model checking problem for the modal
167
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...