1. Albarghouthi, A.: Introduction to neural network verification. Found. Trends® Program. Lang. 7(1–2), 1–157 (2021)
2. Lecture Notes in Computer Science;G Amir,2021
3. Lecture Notes in Computer Science;P Ashok,2020
4. Bak, S., Liu, C., Johnson, T.: The second international verification of neural networks competition (VNN-COMP 2021): summary and results (2021)
5. Barrett, C.W., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. In: Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.) Handbook of Satisfiability, vol. 185, pp. 825–885. IOS Press, Amsterdam (2009)