Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2012 | 2009
Number of items: 3.


Kuijper, Wouter (2012) Compositional synthesis of safety controllers. thesis.


Kuijper, Wouter and Pol, Jaco van de (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 (pp. pp. 92-106).

Kuijper, Wouter and Pol, Jaco van de (2009) Compositional Control Synthesis for Partially Observable Systems. In: 20th International Conference on Concurrency Theory, CONCUR 2009, 1-4 September 2009, Bologna, Italy (pp. pp. 431-447).

This list was generated on Sun Jun 25 05:58:07 2017 CEST.