A Mobile Robot Agent for Gas Leak Source Detection | Publicación