What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao 0001. What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems. In Bernhard Steffen, editor, Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings. Volume 14380 of Lecture Notes in Computer Science, pages 55-76, Springer, 2023. [doi]

This author has not been identified. Look up 'Saddek Bensalem' in GoogleThis author has not been identified. Look up 'Chih-Hong Cheng' in GoogleThis author has not been identified. Look up 'Wei Huang' in GoogleThis author has not been identified. Look up 'Xiaowei Huang' in GoogleThis author has not been identified. Look up 'Changshun Wu' in GoogleThis author has not been identified. Look up 'Xingyu Zhao 0001' in Google

runs on WebDSL