@misc{indiciae950a4e385649,
  title = {Road to safe autonomy with data and formal reasoning},
  author = {Chuchu Fan and Bolun Qi and Sayan Mitra},
  year = {2017},
  url = {https://arxiv.org/abs/1704.06406},
  note = {Source identifier: 1704.06406}
}