Real-Time Deadlock-Free Navigation for Multiple Mobile Robots | IEEE Conference Publication | IEEE Xplore