Vol-2907⫷ Vol-2908 ⫸Vol-2909
urn:nbn:de:0074-2908-0


Vol-2908/xpreface⫷Vol-2908/invited1⫸Vol-2908/invited2
Guy Katz

Invited Talk: Using SMT and Abstraction-Refinement for Neural Network Verification