Quasipolynomial Set-Based Symbolic Algorithms for Parity Games.

Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Alexander Svozil

Browse the full LPAR paper archive.