Guaranteed Obstacle Avoidance for Multi-Robot Operations With Limited Actuation: A Control Barrier Function Approach | IEEE Journals & Magazine | IEEE Xplore