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