Bayesian gas source localization and exploration with a multi-robot system using partial differential equation based modeling | IEEE Conference Publication | IEEE Xplore