15 citations · 23 across the 6 of their papers we have counts for
3 papers · 1 filter
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…
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…
Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction
Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse
We present a sound static analysis technique for fighting the combinatorial explosion of parameterised Boolean equation systems (PBESs). These essentially are systems of mutually r…