Solving Parity Games in Big Steps

This publication has 19 references indexed in Scilit:

• Satisfiability and Finite Model Property for the Alternating-Time μ-Calculus
  Published by Springer Nature ,2006
• Alternating-time temporal logic
  Journal of the ACM, 2002
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
  Theoretical Computer Science, 1998
• Reasoning about the past with two-way automata
  Published by Springer Nature ,1998
• An improved algorithm for the evaluation of fixpoint expressions
  Theoretical Computer Science, 1997
• Module checking revisited
  Published by Springer Nature ,1997
• The complexity of mean payoff games on graphs
  Theoretical Computer Science, 1996
• A SUBEXPONENTIAL RANDOMIZED ALGORITHM FOR THE SIMPLE STOCHASTIC GAME PROBLEM
  Information and Computation, 1995
• Infinite games played on finite graphs
  Annals of Pure and Applied Logic, 1993
• Results on the propositional μ-calculus
  Theoretical Computer Science, 1983