GaSLAM: An Algorithm for Simultaneous Gas Source Localization and Gas Distribution Mapping in 3D | IEEE Conference Publication | IEEE Xplore