Mapping and exploration with mobile robots using coverage maps | Synapse