• 12 Citations
  • 2 h-Index
20092012
If you made any changes in Pure these will be visible here soon.

Research Output 2009 2012

  • 12 Citations
  • 2 h-Index
  • 2 Conference contribution
  • 1 PhD Thesis - Research UT, graduation UT
61 Downloads (Pure)

Compositional Synthesis of Safety Controllers

Kuijper, W., 7 Dec 2012, Enschede: University of Twente. 184 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
8 Citations (Scopus)
43 Downloads (Pure)

Compositional Control Synthesis for Partially Observable Systems

Kuijper, W. & van de Pol, J. C., Sep 2009, CONCUR 2009 - Concurrency Theory. Bravetti, M. & Zavattaro, G. (eds.). Berlin / Heidelberg: Springer, p. 431-447 17 p. 10.1007/978-3-642-04081-8_29. (Lecture Notes in Computer Science; vol. 5710).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
4 Citations (Scopus)
46 Downloads (Pure)

Computing Weakest Strategies for Safety Games of Imperfect Information

Kuijper, W. & van de Pol, J. C., Mar 2009, Tools and Algorithms for the Construction and Analysis of Systems. Kowalewski, S. & Philippou, A. (eds.). Berlin / Heidelberg: Springer, p. 92-106 15 p. 10.1007/978-3-642-00768-2_10. (Lecture Notes in Computer Science; vol. 5505).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File