Counter-Example Guided Abstract Refinement for Verification of Neural Networks
Published in Cyber-Physical Systems Summer School Workshop, CPSWS 2022, Pula, Italy, 2022
Recommended citation: S. Demarchi and D. Guidotti (2022), "Counter-Example Guided Abstract Refinement for Verification of Neural Networks." in Cyber-Physical Systems Summer School Workshop, CPSWS 2022, Pula, Italy, September 19, 2022, Proceedings, 2022.
We experiment with abstraction refinement in order to achieve fast and precise results.