Publication | Open Access

Polynomial-Time Under-Approximation of Winning Regions in Parity Games