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, X., Osborne, M., Lantair, J., Robu, V., Flynn, D., Huang, X., Fisher, M., Papacchini, F., Ferrando, A.. - 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: