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]

Abstract

Abstract is missing.