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.…