Solving parity games in big steps

Sven Schewe. Solving parity games in big steps. J. Comput. Syst. Sci., 84:243-262, 2017. [doi]

Abstract

Abstract is missing.