Corridor Gas-Leak Localization Using a Mobile Robot with a Photo Ionization Detector Sensor | Publicación