An autonomous swarm of drones for industrial gas sensing applications