LiDAR Equipped Robot Navigation on Behavior-based Formation Control for Gas Leak Localization | IEEE Conference Publication | IEEE Xplore