TIME-AND DATA-EFFICIENT ASSURANCE OF LEAK DETECTION

Systems, devices, and methods including an aerial vehicle having a global positioning system (GPS) and at least one trace-gas sensor configured to generate gas data; and a processor having addressable memory, the processor configured to: determine a flight envelope based on a received spatial location, a received spatial location of the one or more potential gas sources, a received desired level of confidence, and a received wind data; determine a flight path for the aerial vehicle, where the flight path covers a portion of the determined flight envelope; and determine based on a received gas data whether a gas leak is present in the received spatial location to the received desired level of confidence.