A Kalman filter based approach to probabilistic gas distribution mapping | Publicación