"Safety Barrier Certificates for Collisions-Free Multirobot Systems."

Li Wang, Aaron D. Ames, Magnus Egerstedt (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics