1. H. Song, H. Mao, W.J. Dally, Deep Compression: Compressing Deep Neural Networks with Pruning, Trained Quantization and Huffman Coding, in: ICLR, 2016.
2. Deep neural network compression for aircraft collision avoidance systems;Julian;J. Guid. Control Dyn.,2019
3. An introduction to ACAS Xu and the challenges ahead;Manfredi,2016
4. Towards evaluating the robustness of neural networks;Carlini,2017
5. S. Ma, Y. Liu, W.-C. Lee, X. Zhang, A. Grama, MODE: Automated Neural Network Model Debugging via State Differential Analysis and Input Selection, in: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018, pp. 175–186.