Formally Verified Switching Logic for Recoverabilit of Aircraft Controller

von Lal, Ratan
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

Flight Test Validation of Real-Time UAS Mission Planning Autonomy and Optimal Path Planning for Flight Line Surveys

von Blevins, Aaron T.
Veröffentlicht in AIAA SciTech Forum and Exposition (2022 : San Diego, Calif.; Online) Unmanned systems ; Volume 2 of 2 (2022)

Viking-400 UAS Dynamic Analysis

von McKinnis, Aaron M.
Veröffentlicht in AIAA SciTech Forum and Exposition (2019 : San Diego, Calif.) Unmanned systems (2019)