Takashi Yoshioka, Hiroshi Noborio. On a proof of the deadlock-free property in an on-line path-planning by using world topology. In Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 1994, September 12 - 16, 1994, Munich, Germany. pages 1946-1953, IEEE, 1994. [doi]
Abstract is missing.