Page
%P
-
Chapter and Conference Paper
The Marabou Framework for Verification and Analysis of Deep Neural Networks
Deep neural networks are revolutionizing the way complex systems are designed. Consequently, there is a pressing need for tools and techniques for network analysis and certification. To help in addressing that...
