7 citations · 7 across the 1 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
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…