用于英国核环境的自主系统安全论证
机器人学
2023-10-05 v1 人工智能
摘要
本文描述了为英国核设施内部署自主机器人开发安全论证的过程，并给出了一个包含 AI 的假设性机器人的安全论证。这构成了部署的第一步，展示了当前可行的以及通过工具开发可能实现的内容。它构成了核设施持证方、核监管办公室（ONR）、工业界与学术界之间进一步讨论的基础。
引用
@article{arxiv.2310.02344,
title = {Autonomous Systems' Safety Cases for use in UK Nuclear Environments},
author = {Christopher R. Anderson and Louise A. Dennis},
journal= {arXiv preprint arXiv:2310.02344},
year = {2023}
}
备注
In Proceedings AREA 2023, arXiv:2310.00333