A set theoretic approach to the simultaneous localization and map building problem | IEEE Conference Publication | IEEE Xplore