Gas leaks are an important safety issue in oil and gas production. During the past fifteen years, a considerable number of studies have was made about how to detect and localize gas leaks. Equipped with sensors measuring the point concentration of specific substances, a variety of mobile robots and technologies have been looking for gas sources....