1599 search results - page 1 / 320 » Algorithms for Parity Games |
ENTCS
2008
13 years 5 months ago
2008
We describe a parallel algorithm for solving parity games, with applications in, e.g., modal
ATVA
2009
Springer
13 years 12 months ago
2009
Springer
Parity games are 2-player games of perfect information and infinite duration that have important applications in automata theory and decision procedures (validity as well as model...
ICALP
2010
Springer
13 years 9 months ago
2010
Springer
Energy parity games are infinite two-player turn-based games played on weighted graphs. The objective of the game combines a (qualitative) parity condition with the (quantitative)...
CSL
2003
Springer
13 years 10 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...
ITA
2002
13 years 5 months ago
2002
It is proposed to compare strategies in a parity game by comparing the sets of behaviours they allow. For such a game, there may be no winning strategy that encompasses all the be...