Cumulative Informative Path Planning for Efficient Gas Source Localization with Mobile Robots. - Wanting Jin; Hugo Leroy; Nicolaj Bösel-Schmid; Alcherio Martinoli (IROS, 2025)