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]
No references recorded for this publication.
No citations of this publication recorded.