@misc{indiciaebe2660469187,
  title = {What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems},
  author = {Saddek Bensalem and Chih-Hong Cheng and Wei Huang and Xiaowei Huang and Changshun Wu and Xingyu Zhao},
  year = {2023},
  url = {https://arxiv.org/abs/2307.11784},
  note = {Source identifier: 2307.11784}
}