64 search results - page 1 / 13 » Solving Parity Games in Practice |
ATVA
2009
Springer
13 years 11 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...
CAV
2009
Springer
13 years 11 months ago
2009
Springer
In this paper we consider two-player zero-sum payoff games on finite graphs, both in the deterministic as well as in the stochastic setting. In the deterministic setting, we consi...
ICALP
2010
Springer
13 years 8 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)...
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...