Road to safe autonomy with data and formal reasoning

Bolun Qi
Bolun Qi

arXiv: Systems and Control, Volume abs/1704.06406, 2017.

Cited by: 0|Bibtex|Views1|Links
EI

Abstract:

We present an overview of recently developed data-driven tools for safety analysis of autonomous vehicles and advanced driver assist systems. The core algorithms combine model-based, hybrid system reachability analysis with sensitivity analysis of components with unknown or inaccessible models. We illustrate the applicability of this appr...More

Code:

Data:

Your rating :
0

 

Tags
Comments