Solving Parity Games via Priority Promotion

DOI10.1007/978-3-319-41540-6_15zbMath1411.68047OpenAlexW2500438899MaRDI QIDQ4633557

Daniele Dell'Erba, Massimo Benerecetti, Fabio Mogavero

Publication date: 3 May 2019

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://ora.ox.ac.uk/objects/uuid:db0d91fd-11a4-47b4-8d83-c8dc3a23f654

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Games involving graphs (91A43)

Related Items

Robust worst cases for parity games algorithms ⋮ Justifications and a reconstruction of parity game solving algorithms ⋮ Solving mean-payoff games via quasi dominions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Solving parity games via priority promotion ⋮ Solving Mean-Payoff Games via Quasi Dominions ⋮ A delayed promotion policy for parity games ⋮ Improving parity games in practice