Towards Efficient Gas Leak Detection in Built Environments: Data-Driven Plume Modeling for Gas Sensing Robots | IEEE Conference Publication | IEEE Xplore