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
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
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review