Aaron McKinnis

According to our database, Aaron McKinnis authored at least 2 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Flight Test of the Novel Fixed-Wing Multireference Multiscale L_N Guidance Logic for Complex Path Following.

Jeffrey Xu, Aaron McKinnis, Shawn Keshmiri, Robert B. Davison

J. Intell. Robotic Syst., 2022

2021

Formally Verified Switching Logic for Recoverability of Aircraft Controller.

Ratan Lal, Aaron McKinnis, Dustin Hauptman, Shawn Keshmiri, Pavithra Prabhakar

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021