Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
Conference Paper
Publication Date:
2019
Short description:
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].
Iris type:
Relazione in Atti di Convegno
Keywords:
Autonomous systems; Battery PHM; Formal verification; PRISM; Probabilistic model checking; Unmanned aerial vehicle;
List of contributors:
Zhao, Xingyu; Osborne, Matt; Lantair, Jenny; Robu, Valentin; Flynn, David; Huang, Xiaowei; Fisher, Michael; Papacchini, Fabio; Ferrando, Angelo
Book title:
Software Engineering and Formal Methods - 17th International Conference,{SEFM} 2019, Oslo, Norway, September 18-20, 2019, Proceedings
Published in: