1. Vehicle Detection Image Set (2023). https://www.kaggle.com/datasets/brsdincer/vehicle-detection-image-set. Accessed 12 Oct 2023
2. Lecture Notes in Computer Science;S Bak,2020
3. Bunel, R., Lu, J., Turkaslan, I., Torr, P.H.S., Kohli, P., Kumar, M.P.: Branch and bound for piecewise linear neural network verification. J. Mach. Learn. Res. 21, 42:1–42:39 (2020)
4. Demarchi, S., Guidotti, D.: Counter-example guided abstract refinement for verification of neural networks. In: Proceedings of the CPS Summer School PhD Workshop 2022 Co-Located with 4th Edition of the CPS Summer School (CPS 2022). CEUR Workshop Proceedings, Pula, Sardinia, Italy, 19–23 September 2022, vol. 3252. CEUR-WS.org (2022)
5. Demarchi, S., Guidotti, D., Pitto, A., Tacchella, A.: Formal verification of neural networks: a case study about adaptive cruise control. In: Proceedings of the 36th ECMS International Conference on Modelling and Simulation, ECMS 2022, Ålesund, Norway, 30 May–3 June 2022, pp. 310–316. European Council for Modeling and Simulation (2022). https://doi.org/10.7148/2022-0310