Making machine learning robust against adversarial inputs
Safety Verification of Deep Neural Networks