Dustin Hauptman

According to our database, Dustin Hauptman authored at least 1 paper in 2021.

Collaborative distances:

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

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