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

MURADORE, Riccardo;BRESOLIN, Davide;GERETTI, Luca;FIORINI, Paolo;VILLA, Tiziano
2011-01-01

Abstract

In this paper we discuss the introduction of formal methods for the verification of properties of control systems designed for autonomous robotic systems.
2011
Robotic surgery; formal verification; hybrid automata
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/368211
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 35
  • ???jsp.display-item.citation.isi??? 23
social impact