4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2014★ 4 cited
Fatal Attractors in Parity Games: Building Blocks for Partial Solvers
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…
cs.GT2013
The Rabin index of parity games
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
We study the descriptive complexity of parity games by taking into account the coloring of their game graphs whilst ignoring their ownership structure. Colored game graphs are iden…