Standard
Harvard
Zhao, X, Osborne, M, Lantair, J, Robu, V, Flynn, D, Huang, X, Fisher, M
, Papacchini, F & Ferrando, A 2019,
Towards Integrating Formal Verification of Autonomous Robots with
Battery Prognostics and Health Management. in
Software Engineering and Formal Methods - 17th International Conference,
SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings. https://doi.org/10.1007/978-3-030-30446-1\_6APA
Zhao, X., Osborne, M., Lantair, J., Robu, V., Flynn, D., Huang, X., Fisher, M.
, Papacchini, F., & Ferrando, A. (2019).
Towards Integrating Formal Verification of Autonomous Robots with
Battery Prognostics and Health Management. In
Software Engineering and Formal Methods - 17th International Conference,
SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings https://doi.org/10.1007/978-3-030-30446-1\_6Vancouver
Zhao X, Osborne M, Lantair J, Robu V, Flynn D, Huang X et al.
Towards Integrating Formal Verification of Autonomous Robots with
Battery Prognostics and Health Management. In Software Engineering and Formal Methods - 17th International Conference,
SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings. 2019 doi: 10.1007/978-3-030-30446-1\_6
Author
Bibtex
@inproceedings{c8bc648aacca4d73aea561155e467ad8,
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",
language = "English",
booktitle = "Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings",
}
RIS
TY - GEN
T1 - Towards Integrating Formal Verification of Autonomous Robots with
Battery Prognostics and Health Management
AU - Zhao, Xingyu
AU - Osborne, Matt
AU - Lantair, Jenny
AU - Robu, Valentin
AU - Flynn, David
AU - Huang, Xiaowei
AU - Fisher, Michael
AU - Papacchini, Fabio
AU - Ferrando, Angelo
PY - 2019
Y1 - 2019
UR - https://doi.org/10.1007/978-3-030-30446-1\_6
U2 - 10.1007/978-3-030-30446-1\_6
DO - 10.1007/978-3-030-30446-1\_6
M3 - Conference contribution/Paper
BT - Software Engineering and Formal Methods - 17th International Conference,
SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings
ER -
