Dustin Hauptman

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Predicate Logic

Robotic Manipulator

Top Venues

Publications

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