Memoryless determinacy of parity and mean payoff games: a simple proof

This publication has 8 references indexed in Scilit:

• Tree automata, mu-calculus and determinacy
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
  Theoretical Computer Science, 1998
• The complexity of mean payoff games on graphs
  Theoretical Computer Science, 1996
• Infinite games played on finite graphs
  Annals of Pure and Applied Logic, 1993
• Cyclic games and an algorithm to find minimax cycle means in directed graphs
  USSR Computational Mathematics and Mathematical Physics, 1988
• Automata, tableaux, and temporal logics
  Published by Springer Nature ,1985
• Positional strategies for mean payoff games
  International Journal of Game Theory, 1979
• The emptiness problem for automata on infinite trees
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1972