A low-level framework for a probabilistic treatment of the topological description of a robot mission | IEEE Conference Publication | IEEE Xplore