Safety Assessment of Collaborative Robotics Through Automated Formal Verification

Vicentini F.;Askarpour M.;Rossi M. G.;Mandrioli D.
2019-01-01

2019
Collaboration; Formal methods; Hazards; human–robot collaboration (HRC); model-based risk assessment; Risk management; robot safety; Robots; Task analysis; temporal logic; Unified modeling language
File in questo prodotto:
File Dimensione Formato  
1_main.pdf

accesso aperto

: Post-Print (DRAFT o Author’s Accepted Manuscript-AAM)
Dimensione 2.73 MB
Formato Adobe PDF
2.73 MB Adobe PDF Visualizza/Apri
Safety_Assessment_of_Collaborative_Robotics_Through_Automated_Formal_Verification.pdf

Accesso riservato

: Publisher’s version
Dimensione 5.04 MB
Formato Adobe PDF
5.04 MB Adobe PDF   Visualizza/Apri

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/11311/1120516
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 56
  • ???jsp.display-item.citation.isi??? 41
social impact