Game Quantification on Automatic Structures and Hierarchical Model Checking Games
- 1 January 2006
- book chapter
- Published by Springer Nature
- p. 411-425
- https://doi.org/10.1007/11874683_27
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Game QuantificationPublished by Cambridge University Press (CUP) ,2017
- Invariants of Automatic Presentations and Semi-synchronous TransductionsPublished by Springer Nature ,2006
- Semiperfect-Information GamesPublished by Springer Nature ,2005
- Finite Presentations of Infinite Structures: Automata and InterpretationsTheory of Computing Systems, 2004
- Parity of Imperfection or Fixing IndependencePublished by Springer Nature ,2003
- Tree automata, mu-calculus and determinacyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Model Checking GamesElectronic Notes in Theoretical Computer Science, 2002
- Automatic presentations of structuresPublished by Springer Nature ,1995
- Alternating finite automata on ω-wordsTheoretical Computer Science, 1984
- Borel DeterminacyAnnals of Mathematics, 1975