Using local wind information for gas distribution mapping in outdoor environments with a mobile robot | IEEE Conference Publication | IEEE Xplore