A traffic priority language for collision-free navigation of autonomous mobile robots in dynamic environments | IEEE Journals & Magazine | IEEE Xplore