The Marabou Framework for Verification and Analysis of Deep Neural Networks

Published in International Conference on Computer Aided Verification (CAV'19), 2019