Towards Proving the Adversarial Robustness of Deep Neural Networks
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System