2 citations · 3 across the 7 of their papers we have counts for
1 paper · 1 filter
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…