In this paper we discuss the introduction of formal methods for the verification of properties of control systems designed for autonomous robotic systems.
Robotic surgery: formal verification of plans / Muradore R.; Bresolin D.; Geretti L.; Fiorini P.; Villa T.. - In: IEEE ROBOTICS AND AUTOMATION MAGAZINE. - ISSN 1070-9932. - STAMPA. - 18:3(2011), pp. 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.