TY  - RPRT
TI  - What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems
AU  - Saddek Bensalem
AU  - Chih-Hong Cheng
AU  - Wei Huang
AU  - Xiaowei Huang
AU  - Changshun Wu
AU  - Xingyu Zhao
PY  - 2023
UR  - https://arxiv.org/abs/2307.11784
ID  - 2307.11784
ER  -