Simple Stochastic Parity Games

This publication has 12 references indexed in Scilit:

• Trading Probability for Fairness
  Published by Springer Nature ,2002
• Alternating-time temporal logic
  Journal of the ACM, 2002
• Quantitative solution of omega-regular games380872
  Published by Association for Computing Machinery (ACM) ,2001
• Small Progress Measures for Solving Parity Games
  Published by Springer Nature ,2000
• Computing Minimum and Maximum Reachability Times in Probabilistic Systems
  Published by Springer Nature ,1999
• Languages, Automata, and Logic
  Published by Springer Nature ,1997
• Higher Order Logic Theorem Proving and Its Applications
  Published by Springer Nature ,1995
• Infinite games played on finite graphs
  Annals of Pure and Applied Logic, 1993
• The complexity of stochastic games
  Information and Computation, 1992
• Stochastic Games
  Proceedings of the National Academy of Sciences, 1953