Aaron McKinnis

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 2

Top Topics

Logic Programming

Computationally Intensive

Robotic Manipulator

Top Venues

J. Intell. Robotic Syst.

Publications

Jeffrey Xu, Aaron McKinnis, Shawn Keshmiri, Robert B. Davison
Guidance Logic for Complex Path Following. J. Intell. Robotic Syst. 105 (3) (2022)
Ratan Lal, Aaron McKinnis, Dustin Hauptman, Shawn Keshmiri, Pavithra Prabhakar
Formally Verified Switching Logic for Recoverability of Aircraft Controller. CAV (1) (2021)