On the synthesis of strategies in infinite games

This publication has 21 references indexed in Scilit:

• Tree automata, mu-calculus and determinacy
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Progress measures, immediate determinacy, and a subset construction for tree automata
  Annals of Pure and Applied Logic, 1994
• Verification tools for finite-state concurrent systems
  Published by Springer Nature ,1994
• Infinite games played on finite graphs
  Annals of Pure and Applied Logic, 1993
• State-strategies for games in F_σδ ∩ G_δσ
  The Journal of Symbolic Logic, 1983
• Fundamental properties of infinite trees
  Theoretical Computer Science, 1983
• Trees, automata, and games
  Published by Association for Computing Machinery (ACM) ,1982
• Using determinancy of games to eliminate quantifiers
  Lecture Notes in Computer Science, 1977
• Borel Determinacy
  Annals of Mathematics, 1975
• Solving sequential conditions by finite-state strategies
  Transactions of the American Mathematical Society, 1969