Formal verification of robotic surgery tasks by reachability analysis
Microprocessors and Microsystems: Embedded Hardware Design, Volume 39, Issue 8, 2015.
In this paper we discuss the application of formal methods for the verification of properties of control systems designed for autonomous robotic systems. We illustrate our proposal in the context of surgery by considering the automatic execution of a simple action such as puncturing. To prove that a sequence of subtasks planned on pre-ope...More
Full Text (Upload PDF)
PPT (Upload PPT)