1503 search results - page 2 / 301 » Generalized Parity Games |
IPL
2008
13 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...
BCS
2008
13 years 7 months ago
2008
Parity games underlie the model checking problem for the modal
ENTCS
2008
13 years 6 months ago
2008
We describe a parallel algorithm for solving parity games, with applications in, e.g., modal
CSL
2003
Springer
13 years 11 months ago
2003
Springer
Many verification, planning, and control problems can be modeled as games played on state-transition graphs by one or two players whose conflicting goals are to form a path in th...
CSL
2008
Springer
13 years 8 months ago
2008
Springer
We study the logical definablity of the winning regions of parity games. For games with a bounded number of priorities, it is wellknown that the winning regions are definable in th...