Quasipolynomial Computation of Nested Fixpoints

Daniel Hausmann, Lutz Schröder

It is well-known that the winning region of a parity game with $n$ nodes and $k$ priorities can be computed as a $k$-nested fixpoint of a suitable function; straightforward computa…