Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
Contributo in Atti di convegno
Data di Pubblicazione:
2019
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. ( 17th International Conference on Software Engineering and Formal Methods, SEFM 2019 nor 2019) [10.1007/978-3-030-30446-1_6].
Tipologia CRIS:
Relazione in Atti di Convegno
Keywords:
Autonomous systems; Battery PHM; Formal verification; PRISM; Probabilistic model checking; Unmanned aerial vehicle;
Elenco autori:
Zhao, Xingyu; Osborne, Matt; Lantair, Jenny; Robu, Valentin; Flynn, David; Huang, Xiaowei; Fisher, Michael; Papacchini, Fabio; Ferrando, Angelo
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
Software Engineering and Formal Methods - 17th International Conference,{SEFM} 2019, Oslo, Norway, September 18-20, 2019, Proceedings
Pubblicato in: