TY  - RPRT
TI  - Safe Aviation Autonomy with Learning-enabled Components in the Loop: From Formal Assurances to Trusted Recovery Methods
AU  - Koushik Datta
AU  - Marco Pavone
PY  - 2021
UR  - https://ntrs.nasa.gov/citations/20210000691
ID  - 20210000691
ER  -