New deterministic algorithms for solving parity games Mnich, Matthias Röglin, Heiko Rösner, Clemens 2018 - TUHH Open Research
New deterministic algorithms for solving parity games Mnich, Matthias Röglin, Heiko Rösner, Clemens 2016 - TUHH Open Research