New Deterministic Algorithms for Solving Parity Games

Matthias Mnich, Heiko Röglin, Clemens Rösner. New Deterministic Algorithms for Solving Parity Games. In Evangelos Kranakis, Gonzalo Navarro, Edgar Chávez, editors, LATIN 2016: Theoretical Informatics - 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings. Volume 9644 of Lecture Notes in Computer Science, pages 634-645, Springer, 2016. [doi]

Authors

Matthias Mnich

This author has not been identified. Look up 'Matthias Mnich' in Google

Heiko Röglin

This author has not been identified. Look up 'Heiko Röglin' in Google

Clemens Rösner

This author has not been identified. Look up 'Clemens Rösner' in Google