1 citations · 4 across the 6 of their papers we have counts for
3 papers · 1 filter
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…
ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics
Maryam Ghaffari Saadat, Angelo Ferrando, Louise A. Dennis +1
Formal verification of robotic applications presents challenges due to their hybrid nature and distributed architecture. This paper introduces ROSMonitoring 2.0, an extension of RO…
A Summary of Formal Specification and Verification of Autonomous Robotic Systems
Matt Luckcuck, Marie Farrel, Louise A. Dennis +1
Autonomous robotic systems are complex, hybrid, and often safety-critical; this makes their formal specification and verification uniquely challenging. Though commonly used, testin…