Publications
Filters: Author is Allan van Hulst [Clear All Filters]
, “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.
, “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.
, “Maximal Synthesis for Hennessy-Milner Logic with the Box Modality”, in Workshop on Discrete Event Systems, Cachan, France, 2014.
, “Maximal Synthesis for Hennessy-Milner Logic”, in ACSD, 2013.
