An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space

John Fearnley, Sanjay Jain 0001, Bart de Keijzer, Sven Schewe, Frank Stephan 0001, Dominik Wojtczak. An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space. STTT, 21(3):325-349, 2019. [doi]

Abstract

Abstract is missing.