Quantitative Verification for Neural Networks using ProbStars - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hoang-Dung Tran, Sungwoo Choi, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Danil V. Prokhorov. Quantitative Verification for Neural Networks using ProbStars. In Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023. ACM, 2023. [doi]

This author has not been identified. Look up 'Hoang-Dung Tran' in GoogleThis author has not been identified. Look up 'Sungwoo Choi' in GoogleThis author has not been identified. Look up 'Hideki Okamoto' in GoogleThis author has not been identified. Look up 'Bardh Hoxha' in GoogleThis author has not been identified. Look up 'Georgios Fainekos' in GoogleThis author has not been identified. Look up 'Danil V. Prokhorov' in Google

runs on WebDSL