Towards Integrating Formal Verification of Autonomous Robots with
Battery Prognostics and Health Management

Zhao, Xingyu; Osborne, Matt; Lantair, Jenny; Robu, Valentin; Flynn, David; Huang, Xiaowei; Fisher, Michael; Papacchini, Fabio; Ferrando, Angelo

doi:10.1007/978-3-030-30446-1_6

Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management / Zhao, Xingyu; Osborne, Matt; Lantair, Jenny; Robu, Valentin; Flynn, David; Huang, Xiaowei; Fisher, Michael; Papacchini, Fabio; Ferrando, Angelo. - 11724:(2019), pp. 105-124. (Intervento presentato al convegno 17th International Conference on Software Engineering and Formal Methods, SEFM 2019 tenutosi a nor nel 2019) [10.1007/978-3-030-30446-1_6].

Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management

Xingyu Zhao;Matt Osborne;Jenny Lantair;Valentin Robu;David Flynn;Xiaowei Huang;Michael Fisher;Fabio Papacchini;Angelo Ferrando

2019

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione
	
				2019
			
	Titolo del Convegno
	
				17th International Conference on Software Engineering and Formal Methods, SEFM 2019
			
	Luogo del Convegno
	
				nor
			
	Data del Convegno
	
				2019
			
	Codice DOI
	
				https://dx.doi.org/10.1007/978-3-030-30446-1_6
			
	Codice WoS
	
				WOS:000716915400028
			
	Codice Scopus
	
				2-s2.0-85072872810
			
	Serie
	
				LECTURE NOTES IN COMPUTER SCIENCE
			
	N° del Volume
	
				11724
			
	Pagina iniziale
	
				105
			
	Pagina finale
	
				124
			
	Tutti gli autori
	
						Zhao, Xingyu; Osborne, Matt; Lantair, Jenny; Robu, Valentin; Flynn, David; Huang, Xiaowei; Fisher, Michael; Papacchini, Fabio; Ferrando, Angelo...espandi
						
	Citazione
	
				Towards Integrating Formal Verification of Autonomous Robots with
Battery Prognostics and Health Management / Zhao, Xingyu; Osborne, Matt; Lantair, Jenny; Robu, Valentin; Flynn, David; Huang, Xiaowei; Fisher, Michael; Papacchini, Fabio; Ferrando, Angelo. - 11724:(2019), pp. 105-124. (Intervento presentato al  convegno 17th International Conference on Software Engineering and Formal Methods, SEFM 2019 tenutosi a nor nel 2019) [10.1007/978-3-030-30446-1_6].
			
	Tipologia
	
				Relazione in Atti di Convegno

File in questo prodotto:

File	Dimensione	Formato
1909.03019.pdf Open access Tipologia: Versione dell'autore revisionata e accettata per la pubblicazione Dimensione 1.04 MB Formato Adobe PDF Visualizza/Apri	1.04 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