2 citations · 3 across the 7 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020
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…
cs.DS2020
Universal Algorithms for Parity Games and Nested Fixpoints
Marcin Jurdziński, Rémi Morvan, K. S. Thejaswini
An attractor decomposition meta-algorithm for solving parity games is given that generalises the classic McNaughton-Zielonka algorithm and its recent quasi-polynomial variants due…