16 citations · 36 across the 19 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.SE2019
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…
cs.SE2019
Modular Verification of Autonomous Space Robotics
Marie Farrell, Rafael C. Cardoso, Louise A. Dennis +6
Ensuring that autonomous space robot control software behaves as it should is crucial, particularly as software failure in space often equates to mission failure and could potentia…