Finite-time control design for a quadrotor transporting a slung load