@misc{indiciae33dcfc8fe9d3,
  title = {Assumption Generation for the Verification of Learning-Enabled Autonomous Systems},
  author = {Corina Pasareanu and Ravi Mangal and Divya Gopinath and Huafeng Yu},
  year = {2023},
  url = {https://arxiv.org/abs/2305.18372},
  note = {Source identifier: 2305.18372}
}