Directed graphs and motion description languages for robot navigation | IEEE Conference Publication | IEEE Xplore