Bibliography

T. Gehr, M. Mirman, D. Drachsler-Cohen, P. Tsankov, S. Chaudhuri and M. T. Vechev. AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation. In: Security and Privacy (SP) (IEEE Computer Society, 2018); pp. 3–18.

R. Ivanov, J. Weimer, R. Alur, G. J. Pappas and I. Lee. Verisig: verifying safety properties of hybrid systems with neural network controllers. In: Hybrid Systems: Computation and Control (HSCC), edited by N. Ozay and P. Prabhakar (ACM, 2019); pp. 169–178.

N. Kochdumper, C. Schilling, M. Althoff and S. Bak. Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes. In: NASA Formal Methods (NFM), Vol. 13903 of LNCS, edited by K. Y. Rozier and S. Chaudhuri (Springer, 2023); pp. 16–36.

G. Singh, T. Gehr, M. Mirman, M. Püschel and M. T. Vechev. Fast and Effective Robustness Certification. In: Advances in Neural Information Processing Systems (NeurIPS), edited by S. Bengio, H. M. Wallach, H. Larochelle, K. Grauman, N. Cesa-Bianchi and R. Garnett (2018); pp. 10825–10836.