Vol-3685⫷ Vol-3686 ⫸Vol-3687
urn:nbn:de:0074-3686-0


Vol-3686/paper1⫷Vol-3686/paper2⫸Vol-3686/short10
Luca MarzariGabriele RoncolatoAlessandro Farinelli

Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing (regular paper)