@misc{indiciae4f90e2497434,
  title = {Assumption Generation for the Verification of Learning-Enabled Autonomous Systems},
  author = {Corina Pasareanu and Ravi Mangal and Divya Gopinath and Huafeng Yu},
  url = {https://ntrs.nasa.gov/citations/20230007146},
  note = {Source identifier: 20230007146}
}