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