Collision-Free Navigation for Multiple Robots in Dynamic Environment | IEEE Conference Publication | IEEE Xplore