共 31 条
- [2] Amir G, 2021, LECT NOTES COMPUT SC, V12652, P203, DOI 10.1007/978-3-030-72013-1_11
- [3] Andersen M., 2023, Python software for convex optimization
- [4] Dvijotham K, 2018, UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, P550
- [6] AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation [J]. 2018 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP), 2018, : 3 - 18
- [7] Henzinger TA, 2021, AAAI CONF ARTIF INTE, V35, P3787
- [8] Goodfellow IJ, 2015, Arxiv, DOI arXiv:1412.6572
- [9] Jia K., 2020, Advances in neural information processing systems, V33, P1782
- [10] The Marabou Framework for Verification and Analysis of Deep Neural Networks [J]. COMPUTER AIDED VERIFICATION, CAV 2019, PT I, 2019, 11561 : 443 - 452