Design of a sensor model and semi-global localization of a mobile service robot | IEEE Conference Publication | IEEE Xplore