Safety Verification of Deep Neural Networks
Measuring Neural Net Robustness with Constraints