Formally Verified Switching Logic for Recoverability of Aircraft Controller. - Ratan Lal; Aaron McKinnis; Dustin Hauptman; Shawn Keshmiri; Pavithra Prabhakar (CAV (1), 2021)

Flight Test of the Novel Fixed-Wing Multireference Multiscale LN Guidance Logic for Complex Path Following. - Jeffrey Xu; Aaron McKinnis; Shawn Keshmiri; Robert B. Davison (J. Intell. Robotic Syst., 2022)

Bio-inspired, AI-based Systems for Intelligent Counter Swarm- BASICS. - Aaron McKinnis (2023)