Number of items: 3.
2012
Kuijper, Wouter (2012) Compositional synthesis of safety controllers. thesis.
2009
Kuijper, Wouter and Pol van de, Jaco (2009) Computing Weakest Strategies for Safety Games of Imperfect Information. In: 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, 22-29 March 2009, York, UK.
Kuijper, Wouter and Pol van de, Jaco (2009) Compositional Control Synthesis for Partially Observable Systems. In: 20th International Conference on Concurrency Theory, CONCUR 2009, 1-4 September 2009, Bologna, Italy.
This list was generated on Tue Jun 18 06:29:56 2013 CEST.
Back to University of Twente portal