Formal Verification of Safety-Critical Aerospace Systems
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- May 01, 2023
- Source ID
- 10.1109/maes.2023.3238378
Entities
People
- Airin Dutta
- Ankita Bhaumik
- Carlos Varela
- Elkin Cruz
- Erik Blasch
- Fotis Kopsaftopoulos
- Gul Agha
- Saswata Paul
- Stacy Patterson
Organizations
- Air Force Office of Scientific Research
- Air Force Research Laboratory
- National Science Foundation
- Rensselaer Polytechnic Institute
- University of Illinois Urbana–Champaign