The Marabou Framework for Verification and Analysis of Deep Neural Networks

Derek A. Huang
Derek A. Huang
Duligur Ibeling
Duligur Ibeling
Kyle Julian
Kyle Julian
Christopher Lazarus
Christopher Lazarus
Rachel Lim
Rachel Lim
Parth Shah
Parth Shah
Shantanu Thakoor
Shantanu Thakoor
Aleksandar Zeljic
Aleksandar Zeljic

CAV (1), pp. 443-452, 2019.

Cited by: 38|Bibtex|Views15|Links
EI

Code:

Data:

Your rating :
0

 

Tags
Comments