Active Loop Closure for OSM-guided Robotic Mapping in Large-Scale Urban Environments | IEEE Conference Publication | IEEE Xplore