activity
20192021
most citedThere is Limited Correlation between Coverage and Robustness for Deep Neural Networks

20 citations · 25 across the 5 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2019

GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems

Hadrien Bride, Jin Song Dong, Ryan Green +3

While AI techniques have found many successful applications in autonomous systems, many of them permit behaviours that are difficult to interpret and may lead to uncertain results.…