4 search results - page 1 / 1 » A Multi-Core Solver for Parity Games |
ENTCS
2008
13 years 4 months ago
2008
We describe a parallel algorithm for solving parity games, with applications in, e.g., modal
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...
ENTCS
2010
13 years 1 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
13 years 11 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...