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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Fingerprint

Dive into the research topics of 'The Marabou Framework for Verification and Analysis of Deep Neural Networks'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science