Robotic Gas Source Localization With Probabilistic Mapping and Online Dispersion Simulation | IEEE Journals & Magazine | IEEE Xplore