Exploration with active loop closing: A trade-off between exploration efficiency and map quality | IEEE Conference Publication | IEEE Xplore