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