Sciweavers

Share
4 search results - page 1 / 1
» A Multi-Core Solver for Parity Games
Sort
View
ENTCS
2008
123views more  ENTCS 2008»
8 years 5 months ago
A Multi-Core Solver for Parity Games
We describe a parallel algorithm for solving parity games, with applications in, e.g., modal
Jaco van de Pol, Michael Weber 0002
ATVA
2009
Springer
173views Hardware» more  ATVA 2009»
9 years 1 days ago
Solving Parity Games in Practice
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...
Oliver Friedmann, Martin Lange
ENTCS
2010
136views more  ENTCS 2010»
8 years 2 months ago
A Solver for Modal Fixpoint Logics
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...
Oliver Friedmann, Martin Lange
TACAS
2009
Springer
157views Algorithms» more  TACAS 2009»
9 years 7 days ago
Alpaga: A Tool for Solving Parity Games with Imperfect Information
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...
Dietmar Berwanger, Krishnendu Chatterjee, Martin D...
books