A Discrete Subexponential Algorithm for Parity Games

This publication has 12 references indexed in Scilit:

• Tree automata, mu-calculus and determinacy
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Algorithms, games, and the internet
  Published by Association for Computing Machinery (ACM) ,2001
• Small Progress Measures for Solving Parity Games
  Published by Springer Nature ,2000
• A Discrete Strategy Improvement Algorithm for Solving Parity Games
  Published by Springer Nature ,2000
• Mean Cost Cyclical Games
  Mathematics of Operations Research, 1999
• Model checking and the mu-calculus
  Published by American Mathematical Society (AMS) ,1997
• A survey of linear programming in randomized subexponential time
  ACM SIGACT News, 1995
• A SUBEXPONENTIAL RANDOMIZED ALGORITHM FOR THE SIMPLE STOCHASTIC GAME PROBLEM
  Information and Computation, 1995
• On model-checking for fragments of μ-calculus
  Published by Springer Nature ,1993
• Cyclic games and an algorithm to find minimax cycle means in directed graphs
  USSR Computational Mathematics and Mathematical Physics, 1988