2 papers
cs.LO2022
On-The-Fly Solving for Symbolic Parity Games
Maurice Laveaux, Wieger Wesselink, Tim A. C. Willemse
Parity games can be used to represent many different kinds of decision problems. In practice, tools that use parity games often rely on a specification in a higher-order logic from…
cs.LO2018
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…