Path Planning Based on Ant Colony Algorithm and Distributed Local Navigation for Multi-Robot Systems | IEEE Conference Publication | IEEE Xplore