A Probabilistic On-Line Mapping Algorithm for Teams of Mobile Robots | Synapse