Wouter Kuijper

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

2 Wouter Kuijper, Jaco van de Pol: Compositional Control Synthesis for Partially Observable Systems. CONCUR 2009: 431-447

1 Wouter Kuijper, Jaco van de Pol: Computing Weakest Strategies for Safety Games of Imperfect Information. TACAS 2009: 92-106

	2009
2		Wouter Kuijper, Jaco van de Pol: Compositional Control Synthesis for Partially Observable Systems. CONCUR 2009: 431-447
1		Wouter Kuijper, Jaco van de Pol: Computing Weakest Strategies for Safety Games of Imperfect Information. TACAS 2009: 92-106

Coauthor Index

1 Jaco van de Pol [1] [2]