Formalising Safety Requirements for Robotic Autonomous Systems in Highly Regulated Domains.

Diana C. Benjumea

Browse the full RE paper archive.