1. Lecture Notes in Computer Science;P Agrawal,2014
2. Amato, F., López, A., Peña-Méndez, E.M., Vaňhara, P., Hampl, A., Havel, J.: Artificial neural networks in medical diagnosis. J. Appl. Biomed. 11(2) (2013)
3. Anderson, G., Pailoor, S., Dillig, I., Chaudhuri, S.: Optimization and abstraction: a synergistic approach for analyzing neural network robustness. In: Proceedings of the Programming Language Design and Implementation (PLDI), pp. 731–744 (2019)
4. Baader, M., Mirman, M., Vechev, M.: Universal approximation with certified networks. In: International Conference on Learning Representations (2020)
5. Balunovic, M., Baader, M., Singh, G., Gehr, T., Vechev, M.: Certifying geometric robustness of neural networks. In: Advances in Neural Information Processing Systems, vol. 32. Curran Associates, Inc. (2019)