DRONA: A Framework for Safe Distributed Mobile Robotics
Distributed mobile robotics DMR involves teams of robots navigating in a physical space to achieve tasks in a coordinated fashion. A major challenge in DMR is to program the ensemble of robots with formal guarantees and high assurance of correct operation. To this end, we introduce DRONA, a framework for building reliable DMR applications.
|DRONA: A Framework for Safe Distributed Mobile Robotics|
Thursday, April 6, 2017, 11 a.m.–noon PT
Berkeley, CA, United States