133 citations · 155 across the 26 of their papers we have counts for
1 paper · 2 filters
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…