L Wang, AD Ames, M Egerstedt - arXiv preprint arXiv …, 2016 - authors.library.caltech.edu
Compositional barrier functions are proposed in this paper to systematically compose
multiple objectives for teams of mobile robots. The objectives are first encoded as barrier …