A language for geometric reasoning in mobile robots | IEEE Conference Publication | IEEE Xplore