Complexity study of guaranteed state estimation applied to robot localization | IEEE Conference Publication | IEEE Xplore