A symmetric attractor-decomposition lifting algorithm for parity games

Marcin Jurdziński, Rémi Morvan, Pierre Ohlmann +1

Progress-measure lifting algorithms for solving parity games have the best worst-case asymptotic runtime, but are limited by their asymmetric nature, and known from the work of Cze…