| Title | Data-driven formal reasoning and their applications in safety analysis of vehicle autonomy features |
| Publication Type | Miscellaneous |
| Year of Publication | 2018 |
| Authors | Fan C, Qi B, Mitra S |
| Keywords | Algorithm design and analysis, Analytical models, ASILs, Autonomous driving system, Autonomous vehicles, Computational modeling, Mathematical model, Risk analysis, Safety, Safety verification, Sensitivity analysis |
| URL | https://ieeexplore.ieee.org/document/8272345/ |
| DOI | 10.1109/MDAT.2018.2799804 |
Data-driven formal reasoning and their applications in safety analysis of vehicle autonomy features
Submitted by chuchu@mit.edu on