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 to construct a minimal dominating set of size 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 | | |