Implementation of a Strategy Improvement Algorithm for Finite-State Parity Games
- 20 September 2001
- book chapter
- Published by Springer Nature
- p. 263-271
- https://doi.org/10.1007/3-540-44674-5_22
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Tree automata, mu-calculus and determinacyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Small Progress Measures for Solving Parity GamesPublished by Springer Nature ,2000
- Languages, Automata, and LogicPublished by Springer Nature ,1997
- Strategy construction in infinite games with Streett and Rabin chain winning conditionsPublished by Springer Nature ,1996
- Infinite games played on finite graphsAnnals of Pure and Applied Logic, 1993
- On model-checking for fragments of μ-calculusPublished by Springer Nature ,1993