Vol-2915⫷ Vol-2916 ⫸Vol-2917
urn:nbn:de:0074-2916-0


Vol-2916/paper_5⫷Vol-2916/paper_15
Christopher LazarusMykel J. Kochenderfer

A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks