Safety Assessment of Collaborative Robotics Through Automated Formal Verification
Vicentini F.;Askarpour M.;Rossi M. G.;Mandrioli D.
2019-01-01
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.