A delayed promotion policy for parity games

MaRDI QIDQ5015267zbMATH OpenFDO

Authors Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero

Publication date 7 December 2021

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Games involving graphs (91A43)

Recommendations

• A delayed promotion policy for parity games
• Solving parity games via priority promotion
• Solving parity games via priority promotion
• On promptness in parity games
• Solving parity games in practice

Cites work

• A Deterministic Subexponential Algorithm for Solving Parity Games
• An automata-theoretic approach to branching-time model checking
• An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games
• Automata, logics, and infinite games. A guide to current research
• Cyclic games and an algorithm to find minimax cycle means in directed graphs
• Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
• Generalized mean-payoff and energy games
• scientific article; zbMATH DE number 1670778 (Why is no real title available?)
• scientific article; zbMATH DE number 5869590 (Why is no real title available?)
• scientific article; zbMATH DE number 3990873 (Why is no real title available?)
• scientific article; zbMATH DE number 1500523 (Why is no real title available?)
• scientific article; zbMATH DE number 1775458 (Why is no real title available?)
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
• On model checking for the -calculus and its fragments
• Positional strategies for mean payoff games
• Solving Parity Games in Big Steps
• Solving parity games in practice
• Solving parity games via priority promotion
• Symmetric strategy improvement
• The complexity of mean payoff games on graphs

Cited in

(9)

• Solving parity games via priority promotion
• A delayed promotion policy for parity games
• Robust worst cases for parity games algorithms
• On promptness in parity games
• scientific article; zbMATH DE number 7445162 (Why is no real title available?)
• A comparison of BDD-based parity game solvers
• Solving parity games via priority promotion
• Solving mean-payoff games via quasi dominions
• Priority promotion with Parysian flair

Describes a project that uses

Uses Software

• PGSolver

This page was built for publication: A delayed promotion policy for parity games

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