GSL-Bench: High Fidelity Gas Source Localization Benchmarking Tool. - Hajo H. Erwich; Bardienus Pieter Duisterhof; Guido C. H. E. de Croon (ICRA, 2024)