Autonomous Systems' Safety Cases for use in UK Nuclear Environments

Christopher Anderson, Louise Dennis

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


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 incorporating AI is presented. This forms a first step towards a deployment, showing what is possible now and what may be possible with development of tools. It forms the basis for further discussion between nuclear site licensees, the Office for Nuclear Regulation (ONR), industry and academia.
Original languageEnglish
Title of host publicationElectronic Proceedings in Theoretical Computer Science
Subtitle of host publicationProceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2023)
Number of pages6
Publication statusPublished - 3 Oct 2023

Publication series

NameElectronic Proceedings in Theoretical Computer Science, EPTCS
PublisherOpen Publishing Association
ISSN (Print)2075-2180


  • ai
  • nuclear
  • robotics
  • safety case


Dive into the research topics of 'Autonomous Systems' Safety Cases for use in UK Nuclear Environments'. Together they form a unique fingerprint.

Cite this