A Distributed Formation Controller with Multi-Obstacle Avoidance for Multi-Mobile Robot System | IEEE Conference Publication | IEEE Xplore