A robust and deadlock free navigation of mobile robots based on a task-level feedback control | IEEE Conference Publication | IEEE Xplore