DRONA: a framework for safe distributed mobile robotics. - Ankush Desai; Indranil Saha; Jianqiao Yang; Shaz Qadeer; Sanjit A. Seshia (ICCPS, 2017)