71 search results - page 2 / 15 » Clique-Width and Parity Games |
BCS
2008
14 years 11 months ago
2008
Parity games underlie the model checking problem for the modal
ENTCS
2008
14 years 9 months ago
2008
We describe a parallel algorithm for solving parity games, with applications in, e.g., modal
CSL
2003
Springer
15 years 2 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
14 years 11 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
15 years 3 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...