Safety Verification of Deep Neural Networks
On the Local Behavior of Spaces of Natural Images