DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks
Policy compression for aircraft collision avoidance systems