@article{towardsintegratingformalverificationof,
  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},
  eprint = {1909.03019},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/1909.03019v1},
}