Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management - Research Portal | Lancaster University

Home > Research > Publications & Outputs > Towards Integrating Formal Verification of Auto...

Associated organisational unit

Security Lancaster (Systems Security)

Text available via DOI:

https://doi.org/10.1007/978-3-030-30446-1\_6
Final published version

View graph of relations

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

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

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

Publication date	2019
Host publication	Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings
<mark>Original language</mark>	English