Strategy construction in infinite games with Streett and Rabin chain winning conditions

This publication has 14 references indexed in Scilit:

• Tree automata, mu-calculus and determinacy
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
  Theoretical Computer Science, 1995
• Modeling and Control of Logical Discrete Event Systems
  Published by Springer Nature ,1995
• Infinite games played on finite graphs
  Annals of Pure and Applied Logic, 1993
• Concurrent Programs as Strategies in Games
  Published by Springer Nature ,1992
• The control of discrete event systems
  Proceedings of the IEEE, 1989
• State-strategies for games in F_σδ ∩ G_δσ
  The Journal of Symbolic Logic, 1983
• Propositional dynamic logic of looping and converse is elementarily decidable
  Information and Control, 1982
• Trees, automata, and games
  Published by Association for Computing Machinery (ACM) ,1982
• Solving sequential conditions by finite-state strategies
  Transactions of the American Mathematical Society, 1969