Control Barrier Certificates for Safe Swarm Behavior. - Urs Borrmann; Li Wang 050; Aaron D. Ames; Magnus Egerstedt (ADHS, 2015)