Improving parity game solvers with justifications

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

Maurice Bruynooghe, Marc Denecker, Ruben Lapauw

Publication date: 5 August 2020

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

Recommendations

• Justifications and a reconstruction of parity game solving algorithms
• Solving parity games in practice
• Improving parity games in practice
• Succinct progress measures for solving parity games
• Solving parity games by a reduction to SAT
• scientific article
• scientific article; zbMATH DE number 1773090
• Solving parity games: explicit vs symbolic
• scientific article; zbMATH DE number 1670778
• Partial solvers for generalized parity games

Mathematics Subject Classification ID

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

Cited In (5)

• Embedding justification theory in approximation fixpoint theory
• Title not available (Why is that?)
• Priority promotion with Parysian flair
• Justifications and a reconstruction of parity game solving algorithms
• Exploiting Game Theory for Analysing Justifications

Uses Software

• mCRL2
• PGSolver
• Oink

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

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