Login / Signup
Jenny Lantair
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 2
Top Topics
Formal Verification
Autonomous Robots
Health Management
Model Checker
Top Venues
CoRR
SEFM
</>
Publications
</>
Xingyu Zhao
,
Matthew Osborne
,
Jenny Lantair
,
Valentin Robu
,
David Flynn
,
Xiaowei Huang
,
Michael Fisher
,
Fabio Papacchini
,
Angelo Ferrando
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management.
CoRR
(2019)
Xingyu Zhao
,
Matthew Osborne
,
Jenny Lantair
,
Valentin Robu
,
David Flynn
,
Xiaowei Huang
,
Michael Fisher
,
Fabio Papacchini
,
Angelo Ferrando
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management.
SEFM
(2019)