2 citations · 3 across the 3 of their papers we have counts for
3 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.LO2021★ 2 cited
Decomposing Monolithic Processes in a Process Algebra with Multi-actions
Maurice Laveaux, Tim A. C. Willemse
A monolithic process is a single recursive equation with data parameters, which only uses non-determinism, action prefixing, and recursion. We present a technique that decomposes s…
cs.LO2020★ 1 cited
Decompositional Minimisation of Monolithic Processes
Maurice Laveaux, Tim A. C. Willemse
Compositional minimisation can be an effective technique to reduce the state space explosion problem. This technique considers a parallel composition of several processes. In its s…