Constraint based world modeling in mobile robotics | IEEE Conference Publication | IEEE Xplore