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

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

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

4 Citations (Scopus)

Fingerprint Dive into the research topics of 'Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science