@misc{indiciae3f5796a7bf60,
  title = {Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management},
  author = {Xingyu Zhao and Matt Osborne and Jenny Lantair and Valentin Robu and David Flynn and Xiaowei Huang and Michael Fisher and Fabio Papacchini and Angelo Ferrando},
  year = {2019},
  doi = {10.1007/978-3-030-30446-1\_6},
  url = {https://arxiv.org/abs/1909.03019},
  note = {Source identifier: 1909.03019}
}