Local strategy improvement for parity game solving

MaRDI QIDQ5151004zbMATH OpenFDO

Authors Oliver Friedmann, Martin Lange

Publication date 16 February 2021

Full work available at URL http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF10.13

Mathematics Subject Classification ID

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

Recommendations

• Two local strategy iteration schemes for parity game solving
• scientific article; zbMATH DE number 1670778
• Efficient parallel strategy improvement for parity games
• An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games
• Solving parity games in practice

Cited in

(6)

• An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games
• Parallel information algorithm with local tuning for solving multidimensional GO problems
• Localization of optimal strategies in certain games
• scientific article; zbMATH DE number 1670778 (Why is no real title available?)
• Efficient parallel strategy improvement for parity games
• Two local strategy iteration schemes for parity game solving

This page was built for publication: Local strategy improvement for parity game solving

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