TY  - RPRT
TI  - Road to safe autonomy with data and formal reasoning
AU  - Chuchu Fan
AU  - Bolun Qi
AU  - Sayan Mitra
PY  - 2017
UR  - https://arxiv.org/abs/1704.06406
ID  - 1704.06406
ER  -