activity
20192025
most citedA Summary of Formal Specification and Verification of Autonomous Robotic Systems

18 citations · 22 across the 7 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

cs.RO2023★ 1 cited

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…