Robot motion planning with uncertainty in the geometric models of the robot and environment: A formal framework for error detection and recovery | IEEE Conference Publication | IEEE Xplore