Keyword:progress measure

Publications
Quasipolynomial Set-Based Symbolic Algorithms for Parity Games Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger and Alexander Svozil In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning