Solving Parity Games Using an Automata-Based Algorithm

DOI10.1007/978-3-319-40946-7_6zbMath1475.68475arXiv1910.13765MaRDI QIDQ2830208

Moshe Y. Vardi, Giuseppe Perelli, Aniello Murano, Antonio Di Stasio

Publication date: 9 November 2016

Published in: Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1910.13765

Mathematics Subject Classification ID

68W40: Analysis of algorithms

91A43: Games involving graphs

91A80: Applications of game theory

68Q45: Formal languages and automata

Uses Software

• CESAR
• PGSolver