Towards real-world gas distribution mapping and leak localization using a mobile robot with 3d and remote gas sensing capabilities | IEEE Conference Publication | IEEE Xplore