55 citations · 338 across the 26 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.AI2019★ 17 cited
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
Xingyu Zhao, Matt Osborne, Jenny Lantair +6
The battery is a key component of autonomous robots. Its performance limits the robot's safety and reliability. Unlike liquid-fuel, a battery, as a chemical device, exhibits compli…
cs.AI2019★ 50 cited
Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing
Xingyu Zhao, Valentin Robu, David Flynn +2
There is an urgent societal need to assess whether autonomous vehicles (AVs) are safe enough. From published quantitative safety and reliability assessments of AVs, we know that, g…