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

Zhao, Xingyu and Osborne, Matt and Lantair, Jenny and Robu, Valentin and Flynn, David and Huang, Xiaowei and Fisher, Michael and Papacchini, Fabio and Ferrando, Angelo (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. UNSPECIFIED.

Full text not available from this repository.
Item Type:
Contribution in Book/Report/Proceedings
ID Code:
164526
Deposited By:
Deposited On:
28 Oct 2022 14:55
Refereed?:
Yes
Published?:
Published
Last Modified:
21 Nov 2022 17:40