Probabilistic modeling of gas diffusion with partial differential equations for multi-robot exploration and gas source localization | IEEE Conference Publication | IEEE Xplore