Improved Set-Based Symbolic Algorithms for Parity Games.

Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Veronika Loitzenbauer

Browse the full CSL paper archive.