Road to safe autonomy with data and formal reasoning
arXiv: Systems and Control, Volume abs/1704.06406, 2017.
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
Full Text (Upload PDF)
PPT (Upload PPT)