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
Topics & Concepts
Computer scienceArtificial intelligenceTheoretical computer scienceSoftware engineeringAdversarial Robustness in Machine LearningSoftware Reliability and Analysis ResearchSoftware Testing and Debugging Techniques