TY  - RPRT
TI  - Assumption Generation for the Verification of Learning-Enabled Autonomous Systems
AU  - Corina Pasareanu
AU  - Ravi Mangal
AU  - Divya Gopinath
AU  - Huafeng Yu
UR  - https://ntrs.nasa.gov/citations/20230007146
ID  - 20230007146
ER  -