64 search results - page 1 / 13 » Solving Parity Games in Practice |
ATVA
2009
Springer
14 years 5 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
14 years 5 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
14 years 2 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 11 months ago
2008
We describe a parallel algorithm for solving parity games, with applications in, e.g., modal
CSL
2003
Springer
14 years 4 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...