What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems.

Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao

Browse the full VECoS paper archive.