Gas leak localization in industrial environments using a TDLAS-based remote gas sensor and autonomous mobile robot with the Tri-Max method | IEEE Conference Publication | IEEE Xplore