Decentralized collision avoidance, deadlock detection, and deadlock resolution for multiple mobile robots | IEEE Conference Publication | IEEE Xplore