Formalising Safety Requirements for Robotic Autonomous Systems in Highly Regulated Domains. - Diana C. Benjumea (RE, 2024)

Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains. - Diana C. Benjumea; Marie Farrell; Louise A. Dennis (FMAS@iFM, 2025)