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
PY  - 2023
UR  - https://arxiv.org/abs/2305.18372
ID  - 2305.18372
ER  -