280 citations · 465 across the 12 of their papers we have counts for
1 paper · 1 filter
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…