Local strategy improvement for parity game solving

zbMATH Open1456.68098MaRDI QIDQ5151004FDOQ5151004

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

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

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• 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)