Key points are not available for this paper at this time.
Verified software secures the Unmanned Little Bird autonomous helicopter against mid-flight cyber attacks.
Klein et al. (Wed,) studied this question.