Fingerprint
Dive into the research topics of 'The Marabou Framework for Verification and Analysis of Deep Neural Networks'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
The Marabou Framework for Verification and Analysis of Deep Neural Networks
Guy Katz*, Derek A. Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zeljić, David L. Dill, Mykel J. Kochenderfer, Clark Barrett
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
395
Scopus
citations