Robotic Gas Source Localization with Probabilistic Mapping and Online Dispersion Simulation | Publicación