Improving Abstract Propagation For Verification Of Neural Networks. - Stefano Demarchi; Andrea Gimelli; Armando Tacchella (ECMS, 2024)