Counterexample-guided abstraction refinement for star-based neural network verification

DOI10.1007/978-3-032-09524-4_14MaRDI QIDQ7294408zbMATH OpenFDO

Authors László Antal, Franz Link, Erika Ábrahám

Publication date 10 July 2026

Full work available at URL https://doi.org/10.1007/978-3-032-09524-4_14

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• Formal verification of piece-wise linear feed-forward neural networks
• Improved geometric path enumeration for verifying ReLU neural networks
• Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter

This page was built for publication: Counterexample-guided abstraction refinement for star-based neural network verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7294408)