17 citations · 24 across the 2 of their papers we have counts for
2 papers
cs.SE2022★ 7 cited
Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE)
Richard Hawkins, Rob Alexander, Matt Osborne +4
Autonomous systems (AS) are systems that have the capability to take decisions free from direct human control. AS are increasingly being considered for adoption for applications wh…
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…