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