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

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

Browse the full SEFM paper archive.