Counterexample-Guided Abstraction Refinement for Star-Based Neural Network Verification

RWTH Publications (RWTH Aachen) 2026

Authors: László Antal, Franz H. Link, Erika Ábrahám
Cited by: 0
References: 12

Fields of Study & Subjects

Formal Methods in Verification Software Testing and Debugging Techniques Logic programming and type systems

Publication details

Journal / source
RWTH Publications (RWTH Aachen)
Publication date
1 January 2026
Language
EN