SAFE AVIATION AUTONOMY WITH LEARNING-ENABLED COMPONENTS IN THE LOOP: FROM FORMAL.ASSURANCES TO TRUSTED RECOVERY METHODS
$8,101,433FY2020National Aeronautics and Space AdministrationNASA
The Leland Stanford Junior University
The Leland Stanford Junior University