Guaranteed 3-D mobile robot localization using an odometer, an automatic theodolite and indistinguishable landmarks | IEEE Conference Publication | IEEE Xplore