Simultaneous Obstacle Avoidance and Target Tracking of Multiple Wheeled Mobile Robots With Certified Safety | IEEE Journals & Magazine | IEEE Xplore