Improving parity game solvers with justifications

DOI10.1007/978-3-030-39322-9_21OpenAlexW2998857771MaRDI QIDQ784159

Maurice Bruynooghe, Marc Denecker, Ruben Lapauw

Publication date: 5 August 2020

Full work available at URL: https://lirias.kuleuven.be/handle/123456789/646997

Mathematics Subject Classification ID

Games involving graphs (91A43) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Justifications and a reconstruction of parity game solving algorithms ⋮ Unnamed Item ⋮ Exploiting Game Theory for Analysing Justifications

Uses Software

• mCRL2
• PGSolver
• Oink

This page was built for publication: Improving parity game solvers with justifications