280 citations · 450 across the 27 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.FL2018★ 280 cited
Formal Specification and Verification of Autonomous Robotic Systems: A Survey
Matt Luckcuck, Marie Farrell, Louise Dennis +2
Autonomous robotic systems are complex, hybrid, and often safety-critical; this makes their formal specification and verification uniquely challenging. Though commonly used, testin…
cs.SE2018★ 43 cited
Robotics and Integrated Formal Methods: Necessity meets Opportunity
Marie Farrell, Matt Luckcuck, Michael Fisher
Robotic systems are multi-dimensional entities, combining both hardware and software, that are heavily dependent on, and influenced by, interactions with the real world. They can b…