A process algebra for supervisory coordination J Baeten, B van Beek, A van Hulst, J Markovski
arXiv preprint arXiv:1108.1863, 2011
27 2011 Maximally permissive controlled system synthesis for non-determinism and modal logic AC Van Hulst, MA Reniers, WJ Fokkink
Discrete Event Dynamic Systems 27, 109-142, 2017
22 2017 Maximal synthesis for Hennessy-Milner logic ACV Hulst, MA Reniers, WJ Fokkink
ACM Transactions on Embedded Computing Systems (TECS) 14 (1), 1-21, 2015
10 2015 Kernels and small quasi-kernels in digraphs A van Hulst
arXiv preprint arXiv:2110.00789, 2021
6 2021 Maximally permissive controlled system synthesis for modal logic AC van Hulst, MA Reniers, WJ Fokkink
International Conference on Current Trends in Theory and Practice of …, 2015
6 2015 Maximal synthesis for Hennessy-Milner logic with the box modality AC van Hulst, MA Reniers, WJ Fokkink
IFAC Proceedings Volumes 47 (2), 278-285, 2014
5 2014 Maximally permissive controlled system synthesis for modal logic A van Hulst, M Reniers, W Fokkink
arXiv preprint arXiv:1408.3317, 2014
1 2014 Towards a concurrency theory for supervisory control JCM Baeten, AC van Hulst, DA van Beek, J Markovski
Technische Universiteit Eindhoven, 2012
1 2012 A Result on the Small Quasi-Kernel Conjecture A van Hulst
arXiv preprint arXiv:2212.12764, 2022
2022 A Complete Axiom System for 1-Free Kleene Star Expressions under Bisimilarity: An Elementary Proof A van Hulst
arXiv preprint arXiv:2111.11144, 2021
2021 Adjoining edges to A van Hulst
arXiv preprint arXiv:2111.08371, 2021
2021 Control synthesis using modal logic and partial bisimilarity: a treatise supported by computer verified proofs AC van Hulst
2016 ACSD 2013 AC van Hulst, MA Reniers, WJ Fokkink
