A Discrete Strategy Improvement Algorithm for Solving Parity Games

This publication has 18 references indexed in Scilit:

• Implementation of a Strategy Improvement Algorithm for Finite-State Parity Games
  Published by Springer Nature ,2001
• Small Progress Measures for Solving Parity Games
  Published by Springer Nature ,2000
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
  Theoretical Computer Science, 1998
• An improved algorithm for the evaluation of fixpoint expressions
  Theoretical Computer Science, 1997
• Fast and simple nested fixpoints
  Information Processing Letters, 1996
• 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
• The complexity of stochastic games
  Information and Computation, 1992
• Towards a Genuinely Polynomial Algorithm for Linear Programming
  SIAM Journal on Computing, 1983
• Positional strategies for mean payoff games
  International Journal of Game Theory, 1979