Implementation of a strategy improvement algorithm for finite-state parity games

DOI10.1007/3-540-44674-5_22MaRDI QIDQ4540974zbMATH OpenFDO

Authors Dominik Schmitz, Jens Vöge

Publication date 28 July 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2088/20880263

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Games involving graphs (91A43)

Recommendations

• Solving parity games using an automata-based algorithm
• A discrete strategy improvement algorithm for solving parity games. (Extended abstract)
• Algorithms for solving parity games
• Strategy Construction for Parity Games with Imperfect Information
• Improving parity games in practice

Cited in

(2)

• Solving parity games by a reduction to SAT
• Improving parity game solvers with justifications

This page was built for publication: Implementation of a strategy improvement algorithm for finite-state parity games

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