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

Farrell, Marie; Mavrakis, Nikos; Ferrando, Angelo; Dixon, Clare; Gao, Yang

doi:10.3389/frobt.2021.639282

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

Marie Farrell;Nikos Mavrakis;Angelo Ferrando;Clare Dixon;Yang Gao

2022

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione
	
				2022
			
	Rivista
	
				FRONTIERS IN ROBOTICS AND AI
			
	N° del Volume
	
				8
			
	Pagina iniziale
	
				N/A
			
	Pagina finale
	
				N/A
			
	Codice DOI
	
				https://dx.doi.org/10.3389/frobt.2021.639282
			
	Codice WoS
	
				WOS:000892044900001
			
	Codice Scopus
	
				2-s2.0-85123415993
			
	Citazione
	
				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]
			
	Tutti gli autori
	
						Farrell, Marie; Mavrakis, Nikos; Ferrando, Angelo; Dixon, Clare; Gao, Yang
					
	Tipologia
	
				Articolo su rivista

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 Visualizza/Apri	3.01 MB	Adobe PDF	Visualizza/Apri

Pubblicazioni consigliate

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