In this paper we discuss the introduction of formal methods for the verification of properties of control systems designed for autonomous robotic systems.
Muradore R., Bresolin D., Geretti L., Fiorini P., Villa T. (2011). Robotic surgery: formal verification of plans. IEEE ROBOTICS AND AUTOMATION MAGAZINE, 18(3), 24-32 [10.1109/MRA.2011.942112].
Robotic surgery: formal verification of plans
BRESOLIN, DAVIDE;
2011
Abstract
In this paper we discuss the introduction of formal methods for the verification of properties of control systems designed for autonomous robotic systems.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
