A Recursive Approach to Solving Parity Games in Quasipolynomial Time

Karoliina Lehtinen, Pawel Parys, Sven Schewe, Dominik Wojtczak. A Recursive Approach to Solving Parity Games in Quasipolynomial Time. Logical Methods in Computer Science, 18(1), 2022. [doi]

Authors

Karoliina Lehtinen

This author has not been identified. Look up 'Karoliina Lehtinen' in Google

Pawel Parys

This author has not been identified. Look up 'Pawel Parys' in Google

Sven Schewe

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

Dominik Wojtczak

This author has not been identified. Look up 'Dominik Wojtczak' in Google