On a proof of the deadlock-free property in an on-line path-planning by using world topology.

Takashi Yoshioka, Hiroshi Noborio

Browse the full IROS paper archive.