A case study on automatic parameter optimization of a mobile robot localization algorithm | IEEE Conference Publication | IEEE Xplore