@misc{indiciaea6125e2b240f,
  title = {Simulation-based Safety Assurance for an AVP System incorporating Learning-Enabled Components},
  author = {Hasan Esen and Brian Hsuan-Cheng Liao},
  year = {2023},
  url = {https://arxiv.org/abs/2311.03362},
  note = {Source identifier: 2311.03362}
}