Publications
===============

- Chuchu Fan, Bolun Qi, Sayan Mitra and Mahesh Viswanathan, `DRYVR:Data-driven verification and compositional reasoning for automotive systems <https://link.springer.com/chapter/10.1007%2F978-3-319-63387-9_22>`_, CAV 2017. [`Video <https://www.youtube.com/watch?v=9j7KcbZx6m0>`_]

- Chuchu Fan, Bolun Qi and Sayan Mitra, `Road to safe autonomy with data and formal reasoning <https://arxiv.org/abs/1704.06406>`_, (To appear in IEEE Design & Test).