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

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

   Recommendations

• Justifications and a reconstruction of parity game solving algorithms 👍 👎
• Solving parity games in practice 👍 👎
• Improving parity games in practice 👍 👎
• Title not available (Why is that?) 👍 👎
• Solving parity games by a reduction to SAT 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Solving parity games: explicit vs symbolic 👍 👎
• Title not available (Why is that?) 👍 👎
• Partial solvers for generalized parity games 👍 👎

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)