27 citations · 152 across the 31 of their papers we have counts for
1 paper · 1 filter
Lisette Sanchez, Wieger Wesselink, Tim A. C. Willemse
Parity games are two player games with omega-winning conditions, played on finite graphs. Such games play an important role in verification, satisfiability and synthesis. It is the…