Small Progress Measures for Solving Parity Games

This publication has 17 references indexed in Scilit:

• Deciding the winner in parity games is in UP ∩ co-UP
  Information Processing Letters, 1998
• Fully local and efficient evaluation of alternating fixed points
  Published by Springer Nature ,1998
• An improved algorithm for the evaluation of fixpoint expressions
  Theoretical Computer Science, 1997
• Fast and simple nested fixpoints
  Information Processing Letters, 1996
• Pushdown processes: Games and model checking
  Published by Springer Nature ,1996
• Progress measures, immediate determinacy, and a subset construction for tree automata
  Annals of Pure and Applied Logic, 1994
• Infinite games played on finite graphs
  Annals of Pure and Applied Logic, 1993
• On model-checking for fragments of μ-calculus
  Published by Springer Nature ,1993
• An automata theoretic decision procedure for the propositional mu-calculus
  Information and Computation, 1989
• The complexity of tree automata and logics of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988