A practical, decision-theoretic approach to multi-robot mapping and exploration | IEEE Conference Publication | IEEE Xplore