71 search results - page 2 / 15 » Clique-Width and Parity Games |
BCS
2008
13 years 6 months ago
2008
Parity games underlie the model checking problem for the modal
ENTCS
2008
13 years 4 months ago
2008
We describe a parallel algorithm for solving parity games, with applications in, e.g., modal
CSL
2003
Springer
13 years 9 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 6 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...
LICS
2005
IEEE
13 years 10 months ago
2005
IEEE
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...