Author:
Luo Yonggang,Ma Jinyan,Han Sanchu,Xie Lecheng
Publisher
Springer Nature Switzerland
Reference52 articles.
1. Anderson, G., Pailoor, S., Dillig, I., Chaudhuri, S.: Optimization and abstraction: a synergistic approach for analyzing neural network robustness. In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, pp. 731–744. Association for Computing Machinery, New York (2019)
2. Lecture Notes in Computer Science;S Bak,2021
3. Bak, S., Liu, C., Johnson, T.T.: The second international verification of neural networks competition (vnn-comp 2021): Summary and results. arXiv: 2109.00498 (2021)
4. Bijelic, M., et al.: Seeing through fog without seeing fog: deep multimodal sensor fusion in unseen adverse weather. In: 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), pp. 11679–11689 (2020)
5. Botoeva, E., Kouvaros, P., Kronqvist, J., Lomuscio, A., Misener, R.: Efficient verification of relu-based neural networks via dependency analysis. In: AAAI Conference on Artificial Intelligence (2020)