A Cure for Stuttering Parity Games

Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse. A Cure for Stuttering Parity Games. In Abhik Roychoudhury, Meenakshi D'Souza, editors, Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings. Volume 7521 of Lecture Notes in Computer Science, pages 198-212, Springer, 2012. [doi]


Abstract is missing.