A human-robot interaction system for navigation supervision based on augmented reality | IEEE Conference Publication | IEEE Xplore