A practical, decision-theoretic approach to multi-robot mapping and exploration | Synapse