18 citations · 22 across the 7 of their papers we have counts for
3 papers · 1 filter
Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems
Dhaminda B. Abeywickrama, Michael Fisher, Frederic Wheeler +1
This report provides an overview of the workshop titled Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems, hosted by the Centre for Robotic…
Grand Challenges in the Verification of Autonomous Systems
Kevin Leahy, Hamid Asgari, Louise A. Dennis +6
Autonomous systems use independent decision-making with only limited human intervention to accomplish goals in complex and unpredictable environments. As the autonomy technologies…
Autonomous Systems' Safety Cases for use in UK Nuclear Environments
Christopher R. Anderson, Louise A. Dennis
An overview of the process to develop a safety case for an autonomous robot deployment on a nuclear site in the UK is described and a safety case for a hypothetical robot incorpora…