Publisher
Springer Science and Business Media LLC
Reference36 articles.
1. Alur R, Courcoubetis C, Henzinger TA, Ho PH (1993) Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In: Hybrid systems, Springer, Berlin, pp 209–229
2. Alur R, Henzinger TA (1999) Reactive modules. Formal Methods Syst Des 15(1):7–48
3. Ayub MS, Hasan O (2017) Formal probabilistic analysis of a virtual fixture control algorithm for a surgical robot. In: Verification and evaluation of computer and communication systems (VECoS), pp 1–16
4. Baier C, Katoen JP (2008) Principles of model checking. MIT Press, Cambridge
5. Bebek O, Cavusoglu MC (2007) Intelligent control algorithms for robotic-assisted beating heart surgery. IEEE Trans Robot 23(3):468–480