1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.SE2025★ 1 cited
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★ 1 cited
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…