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



Zhao, Xingyu ORCID: 0000-0002-3474-349X, Osborne, Matt, Lantair, Jenny, Robu, Valentin, Flynn, David, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Fisher, Michael ORCID: 0000-0002-0875-3862, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Ferrando, Angelo ORCID: 0000-0002-8711-4670
(2019) Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. .

[img] Text
1909.03019v1.pdf - Accepted Version

Download (1MB) | Preview
Item Type: Conference or Workshop Item (Unspecified)
Uncontrolled Keywords: Formal verification, Probabilistic model checking, PRISM, Autonomous systems, Unmanned aerial vehicle, Battery PHM
Depositing User: Symplectic Admin
Date Deposited: 17 Sep 2019 08:04
Last Modified: 03 Jul 2022 21:10
DOI: 10.1007/978-3-030-30446-1_6
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3054808