GRIT: Verifiable Goal Recognition for Autonomous Driving using Decision Trees

by   Cillian Brewitt, et al.

It is useful for autonomous vehicles to have the ability to infer the goals of other vehicles (goal recognition), in order to safely interact with other vehicles and predict their future trajectories. Goal recognition methods must be fast to run in real time and make accurate inferences. As autonomous driving is safety-critical, it is important to have methods which are human interpretable and for which safety can be formally verified. Existing goal recognition methods for autonomous vehicles fail to satisfy all four objectives of being fast, accurate, interpretable and verifiable. We propose Goal Recognition with Interpretable Trees (GRIT), a goal recognition system for autonomous vehicles which achieves these objectives. GRIT makes use of decision trees trained on vehicle trajectory data. Evaluation on two vehicle trajectory datasets demonstrates the inference speed and accuracy of GRIT compared to an ablation and two deep learning baselines. We show that the learned trees are human interpretable and demonstrate how properties of GRIT can be formally verified using an SMT solver.



page 1

page 4

page 5


Integrating Planning and Interpretable Goal Recognition for Autonomous Driving

The ability to predict the intentions and driving trajectories of other ...

Interaction-Aware Trajectory Prediction and Planning for Autonomous Vehicles in Forced Merge Scenarios

Merging is, in general, a challenging task for both human drivers and au...

Interpretable Goal Recognition in the Presence of Occluded Factors for Autonomous Vehicles

Recognising the goals or intentions of observed vehicles is a key step t...

Interpretable Safety Validation for Autonomous Vehicles

An open problem for autonomous driving is how to validate the safety of ...

The Reasonable Crowd: Towards evidence-based and interpretable models of driving behavior

Autonomous vehicles must balance a complex set of objectives. There is n...

Metrics for the Evaluation of localisation Robustness

Robustness and safety are crucial properties for the real-world applicat...

Inferring Temporal Logic Properties from Data using Boosted Decision Trees

Many autonomous systems, such as robots and self-driving cars, involve r...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.