2 papers
cs.SE2025
Towards Continuous Assurance with Formal Verification and Assurance Cases
Dhaminda B. Abeywickrama, Michael Fisher, Frederic Wheeler +1
Autonomous systems must sustain justified confidence in their correctness and safety across their operational lifecycle-from design and deployment through post-deployment evolution…
cs.RO2025
Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems
Dhaminda B. Abeywickrama, Michael Fisher, Frederic Wheeler +1
This report provides an overview of the workshop titled Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems, hosted by the Centre for Robotic…