Author:
van Hulst A. C.,Reniers M. A.,Fokkink W. J.
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Modelling and Simulation,Control and Systems Engineering
Reference43 articles.
1. Alberucci L, Facchini A (2009) On modal μ-calculus and Gödel-Löb logic. Stud Logica 91(2):145–169
2. Antoniotti M, Mishra B (1995) Discrete event models + temporal logic = supervisory controller: automatic synthesis of locomotion controllers. In: Proceedings of robotics and automation, IEEE, pp 1441– 1446
3. Arnold A, Walukiewicz I (2008) Nondeterministic controllers of nondeterministic processes. In: Proceedings of logic and automata, Amsterdam University Press, pp 29–52
4. Arnold A, Vincent A, Walukiewicz I (2003) Games for synthesis of controllers with partial observation. Theor Comput Sci 303(1):7–34
5. Baeten J, Basten T, Reniers M (2010) Process algebra: equational theories of communicating processes. Cambridge University Press
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献