Solving Parity Games on the GPU

DOI10.1007/978-3-319-02444-8_34zbMATH Open1415.68148OpenAlexW187060626MaRDI QIDQ5166708FDOQ5166708

Authors: Michael Luttenberger, Philipp H. W. Hoffmann 

Publication date: 8 July 2014

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-02444-8_34

Recommendations

• A Multi-Core Solver for Parity Games
• Solving parity games in practice
• Algorithms for solving parity games
• Solving parity games on integer vectors
• Efficient parallel strategy improvement for parity games
• Solving parity games in big steps
• Solving Parity Games in Big Steps
• Solving counter parity games
• Parameterized Algorithms for Parity Games

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (4)

• Improving parity games in practice
• A Multi-Core Solver for Parity Games
• Guessing winning policies in LTL synthesis by semantic learning
• A matrix-based approach to parity games

Uses Software

• PGSolver

This page was built for publication: Solving Parity Games on the GPU

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5166708)