Ankush Desai, Indranil Saha, Jianqiao Yang, Shaz Qadeer, Sanjit A. Seshia. DRONA: a framework for safe distributed mobile robotics. In Sonia MartÃnez, Eduardo Tovar, Chris Gill, Bruno Sinopoli, editors, Proceedings of the 8th International Conference on Cyber-Physical Systems, ICCPS 2017, Pittsburgh, Pennsylvania, USA, April 18-20, 2017. pages 239-248, ACM, 2017. [doi]
Abstract is missing.