Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi. Solving Parity Games Using an Automata-Based Algorithm. In Yo-Sub Han, Kai Salomaa, editors, Implementation and Application of Automata - 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings. Volume 9705 of Lecture Notes in Computer Science, pages 64-76, Springer, 2016. [doi]
Abstract is missing.