4 search results - page 1 / 1 » A Multi-Core Solver for Parity Games |
ENTCS
2008
13 years 11 months ago
2008
We describe a parallel algorithm for solving parity games, with applications in, e.g., modal
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...
ENTCS
2010
13 years 8 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
TACAS
2009
Springer
14 years 6 months ago
2009
Springer
Alpaga is a solver for parity games with imperfect information. Given the description of a game, it determines whether the first player can ensure to win and, if so, it constructs...