Formally Verified Switching Logic for Recoverability of Aircraft Controller - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ratan Lal, Aaron McKinnis, Dustin Hauptman, Shawn Keshmiri, Pavithra Prabhakar. Formally Verified Switching Logic for Recoverability of Aircraft Controller. In Alexandra Silva 0001, K. Rustan M. Leino, editors, Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I. Volume 12759 of Lecture Notes in Computer Science, pages 566-579, Springer, 2021. [doi]

This author has not been identified. Look up 'Ratan Lal' in GoogleThis author has not been identified. Look up 'Aaron McKinnis' in GoogleThis author has not been identified. Look up 'Dustin Hauptman' in GoogleThis author has not been identified. Look up 'Shawn Keshmiri' in GoogleThis author has not been identified. Look up 'Pavithra Prabhakar' in Google

runs on WebDSL