Improving Abstract Propagation for Verification of Neural Networks

Published in International Conference on Modelling and Simulation, ECMS 2024, Cracow, Poland, 2024

Recommended citation: S. Demarchi, A. Gimelli and Armando Tacchella (2024), "Improving Abstract Propagation for Verification of Neural Networks." in International Conference on Modelling and Simulation, ECMS 2024, Cracow, Poland, June 4-7th, 2024, Proceedings, 2024.