A modal \(\mu\) perspective on solving parity games in quasi-polynomial time. (English) Zbl 1497.68228
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 639-648 (2018).