59 citations · 185 across the 53 of their papers we have counts for
1 paper · 2 filters
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…