John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan 0001, Dominik Wojtczak. An ordered approach to solving parity games in quasi polynomial time and quasi linear space. In Hakan Erdogmus, Klaus Havelund, editors, Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017. pages 112-121, ACM, 2017. [doi]
Abstract is missing.