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]
No references recorded for this publication.
No citations of this publication recorded.