Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal / Farrell, Marie; Mavrakis, Nikos; Ferrando, Angelo; Dixon, Clare; Gao, Yang. - In: FRONTIERS IN ROBOTICS AND AI. - ISSN 2296-9144. - 8:(2022), pp. N/A-N/A. [10.3389/frobt.2021.639282]

Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal

Angelo Ferrando;
2022

2022
8
N/A
N/A
Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal / Farrell, Marie; Mavrakis, Nikos; Ferrando, Angelo; Dixon, Clare; Gao, Yang. - In: FRONTIERS IN ROBOTICS AND AI. - ISSN 2296-9144. - 8:(2022), pp. N/A-N/A. [10.3389/frobt.2021.639282]
Farrell, Marie; Mavrakis, Nikos; Ferrando, Angelo; Dixon, Clare; Gao, Yang
File in questo prodotto:
File Dimensione Formato  
frobt-08-639282.pdf

Open access

Tipologia: Versione pubblicata dall'editore
Dimensione 3.01 MB
Formato Adobe PDF
3.01 MB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

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