• Control Barrier Certificates for Safe Swarm Behavior 

      Borrmann, Urs; Wang, Li; Ames, Aaron D.; Egerstedt, Magnus B. (Georgia Institute of Technology, 2015-10)
      Multi-agent robotics involves the coordination of large numbers of robots, which leads to significant challenges in terms of collision avoidance. This paper generates provably collision free swarm ...