Author:
Prabhakar Pavithra,Liu Jun
Subject
Control and Systems Engineering
Reference27 articles.
1. Alur, R., Henzinger, T., Kupferman, O., and Vardi, M. (1998). Alternating refinement relations. In Proc. 9th Conferance on Concurrency Theory, Lecture Notes in Computer Science. Springer-Verlag, Nice.
2. Principles of Model Checking (Representation and Mind Series);Baier,2008
3. Synthesizing robust systems;Bloem;Acta Inf.,2014
4. DeCastro, J.A. and Kress-Gazit, H. (2013). Guaranteeing reactive high-level behaviors for robots with complex dynamics. In IEEE/RSJ International Conference on Intelligent Robots and Systems, 749–756.