Usually, a leak in an underground natural gas pipeline requires excavating and replacing the affected section. Instead of relying on burly welders in tight tunnels, envision miniature robots navigating gas pipelines. These robots use robotic…