A Comparison of BDD-Based Parity Game Solvers

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…