W. Kuijper

Compositional Synthesis of Safety Controllers

W. Kuijper, 2012 .

An application of Sahlqvist Theory to Bisorted Modal Logic

W. Kuijper, J. P. Viana, 2003 .

Computing Weakest Strategies for Safety Games of Imperfect Information

Jaco van de Pol, Wouter Kuijper, W. Kuijper, 2009, TACAS.

Sorting out role based access control

Wouter Kuijper, Victor Ermolaev, W. Kuijper, 2014, SACMAT '14.

Compositional Control Synthesis for Partially Observable Systems

Jaco van de Pol, Wouter Kuijper, W. Kuijper, 2009, CONCUR.