Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees

Zhuan Khye Koh, Georg Loho

Parity games have witnessed several new quasi-polynomial algorithms since the breakthrough result of Calude et al. (STOC 2017). The combinatorial object underlying these approaches…