Formally Verified Switching Logic for Recoverability of Aircraft Controller.

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

Browse the full CAV paper archive.