169 citations · 371 across the 16 of their papers we have counts for
1 paper · 2 filters
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
Attractors in parity games are a technical device for solving "alternating" reachability of given node sets. A well known solver of parity games - Zielonka's algorithm - uses such…