Solving parity games in big steps

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

Authors

Sven Schewe

This author has not been identified. Look up 'Sven Schewe' in Google