Solving Parity Games on the GPU

DOI10.1007/978-3-319-02444-8_34MaRDI QIDQ5166708zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(4)

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

Describes a project that uses

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)