TY  - RPRT
TI  - Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
AU  - Xingyu Zhao
AU  - Matt Osborne
AU  - Jenny Lantair
AU  - Valentin Robu
AU  - David Flynn
AU  - Xiaowei Huang
AU  - Michael Fisher
AU  - Fabio Papacchini
AU  - Angelo Ferrando
PY  - 2019
DO  - 10.1007/978-3-030-30446-1_6
UR  - https://arxiv.org/abs/1909.03019
ID  - 1909.03019
ER  -