280 citations · 388 across the 15 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…