Publications

Export 4 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Allan van Hulst  [Clear All Filters]
2015
A. van Hulst, M. A. Reniers, and W. J. Fokkink, “Maximally Permissive Controlled System Synthesis for Modal Logic”, in SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněżkou, Czech Republic, January 24-29, 2015. Proceedings, 2015.
2014
A. van Hulst, M. A. Reniers, and W. Fokkink, “Maximal Synthesis for Hennessy-Milner Logic with the Box Modality”, in 12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014., 2014.
A. van Hulst, M. A. Reniers, and W. Fokkink, “Maximal Synthesis for Hennessy-Milner Logic with the Box Modality”, in Workshop on Discrete Event Systems, Cachan, France, 2014.