A modal μ perspective on solving parity games in quasi-polynomial time.

Karoliina Lehtinen

Browse the full LICS paper archive.