The rabin index and chain automata, with applications to automata and games
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 253-266
- https://doi.org/10.1007/3-540-60045-0_55
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- On the synthesis of discrete controllers for timed systemsPublished by Springer Nature ,1995
- On the synthesis of strategies in infinite gamesPublished by Springer Nature ,1995
- Infinite games played on finite graphsAnnals of Pure and Applied Logic, 1993
- The Safety-Progress ClassificationPublished by Springer Nature ,1993
- Automata on Infinite ObjectsPublished by Elsevier ,1990
- On the synthesis of a reactive modulePublished by Association for Computing Machinery (ACM) ,1989
- The complexity of tree automata and logics of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1988
- A classification of ω-regular languagesTheoretical Computer Science, 1985
- Automata, tableaux, and temporal logicsPublished by Springer Nature ,1985
- Trees, automata, and gamesPublished by Association for Computing Machinery (ACM) ,1982