2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.LO2021
Justifications and a Reconstruction of Parity Game Solving Algorithms
Ruben Lapauw, Maurice Bruynooghe, Marc Denecker
Parity games are infinite two-player games played on directed graphs. Parity game solvers are used in the domain of formal verification. This paper defines parametrized parity game…
cs.PL2015★ 2 cited
Visualising interactive inferences with IDPD3
Ruben Lapauw, Ingmar Dasseville, Marc Denecker
A large part of the use of knowledge base systems is the interpretation of the output by the end-users and the interaction with these users. Even during the development process vis…