Vol-3251⫷ Vol-3252 ⫸Vol-3253
urn:nbn:de:0074-3252-0


Vol-3252/xpreface⫷Vol-3252/paper1⫸Vol-3252/paper2

Counter-Example Guided Abstract Refinement for Verification of Neural Networks