A Multi-Core Solver for Parity Games
From MaRDI portal
Publication:5415659
DOI10.1016/j.entcs.2008.11.011zbMath1286.68326OpenAlexW2150539434WikidataQ62047481 ScholiaQ62047481MaRDI QIDQ5415659
No author found.
Publication date: 13 May 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.11.011
2-person games (91A05) Applications of game theory (91A80) Parallel algorithms in computer science (68W10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Verification of reactive systems via instantiation of parameterised Boolean equation systems ⋮ Solving μ-Calculus Parity Games by Symbolic Planning ⋮ Solving Parity Games in Practice
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Results on the propositional \(\mu\)-calculus
- Distributed symbolic model checking for \(\mu\)-calculus
- CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus
- Fast and simple nested fixpoints
- CTL model checking on a shared-memory architecture
- Verification of a sliding window protocol in \(\mu\) CRL and PVS
- A Database Approach to Distributed State Space Generation
- A deterministic subexponential algorithm for solving parity games
- Algorithms for Parity Games
- Tools and Algorithms for the Construction and Analysis of Systems
- STACS 2004
- An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
- Solving Parity Games in Big Steps
- Model Checking Software
