activity
20192021
most citedSilas: High Performance, Explainable and Verifiable Machine Learning

5 citations · 6 across the 3 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.…