mlsanityData to 7 Oct 2026

Deep Neural Network Compression for Aircraft Collision Avoidance Systems

arXiv 1810.04240 ↗First posted 9 Oct 2018cs.LG stat.MLcited by 58

Not on the map. Why?

Abstract (arXiv)

One approach to designing decision making logic for an aircraft collision avoidance system frames the problem as a Markov decision process and optimizes the system using dynamic programming. The resulting collision avoidance strategy can be represented as a numeric table. This methodology has been used in the development of the Airborne Collision Avoidance System X (ACAS X) family of collision avoidance systems for manned and unmanned aircraft, but the high dimensionality of the state space leads to very large tables. To improve storage efficiency, a deep neural network is used to approximate the table. With the use of an asymmetric loss function and a gradient descent algorithm, the parameters for this network can be trained to provide accurate estimates of table values while preserving the relative preferences of the possible advisories for each state. By training multiple networks to represent subtables, the network also decreases the required runtime for computing the collision avoidance advisory. Simulation studies show that the network improves the safety and efficiency of the collision avoidance system. Because only the network parameters need to be stored, the required storage space is reduced by a factor of 1000, enabling the collision avoidance system to operate using current avionics systems.

Key facts. Cited by 58 papers in the map (data through 7 Oct 2026). First posted on arXiv 9 Oct 2018.

Builds on

No reference list yet.

Built on by

Cited by year (2026 to 7 Oct)

Citing papers per year: 2021: 12; 2022: 15; 2023: 10; 2024: 10; 2025: 5; 2026: 6.

58 papers.

Sort:

By area:

  1. 2024Marabou 2.0: A Versatile Formal Analyzer of Neural Networkscited by 81
  2. 2022Causality-based Neural Network Repaircited by 44
  3. 2022Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networkscited by 42
  4. 2021Provable Repair of Deep Neural Networkscited by 39
  5. 2022Neural Network Verification with Proof Productioncited by 22
  6. 2022Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systemscited by 18
  7. 2023Incremental Verification of Neural Networkscited by 14
  8. 2021Sound and Complete Neural Network Repair with Minimality and Locality Guaranteescited by 12
  9. 2023Incremental Randomized Smoothing Certificationcited by 12
  10. 2021MDPFuzz: Testing Models Solving Markov Decision Processescited by 11
  11. 2022Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networkscited by 11
  12. 2021SyReNN: A Tool for Analyzing Deep Neural Networkscited by 10
38 more
  1. 2022Backward Reachability Analysis for Neural Feedback Loopscited by 9
  2. 2022QEBVerif: Quantization Error Bound Verification of Neural Networkscited by 9
  3. 2023Architecture-Preserving Provable Repair of Deep Neural Networkscited by 9
  4. 2022Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachabilitycited by 8
  5. 2021Verifying Low-dimensional Input Neural Networks via Input Quantizationcited by 7
  6. 2022Toward Certification of Machine-Learning Systems for Low Criticality Airborne Applicationscited by 6
  7. 2022A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loopscited by 6
  8. 2023Towards a Certified Proof Checker for Deep Neural Network Verificationcited by 6
  9. 2024DeepCDCL: An CDCL-based Neural Network Verification Frameworkcited by 6
  10. 2021Static analysis of ReLU neural networks with tropical polyhedracited by 5
  11. 2022Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Componentscited by 5
  12. 2021Generating Probabilistic Safety Guarantees for Neural Network Controllerscited by 4
  13. 2021Self-Correcting Neural Networks For Safe Classificationcited by 4
  14. 2023Repairing Deep Neural Networks Based on Behavior Imitationcited by 4
  15. 2024System Safety Monitoring of Learned Components Using Temporal Metric Forecastingcited by 4
  16. 2025Proof Minimization in Neural Network Verificationcited by 4
  17. 2023A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networkscited by 3
  18. 2025PICID: Proof-Driven Clause Learning in Neural Network Verificationcited by 3
  19. 2021Scaling up Memory-Efficient Formal Verification Tools for Tree Ensemblescited by 2
  20. 2021ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputscited by 2
  21. 2022Deep Binary Reinforcement Learning for Scalable Verificationcited by 2
  22. 2022Reward Function Optimization of a Deep Reinforcement Learning Collision Avoidance Systemcited by 2
  23. 2023Neural Abstraction-Based Controller Synthesis and Deploymentcited by 2
  24. 2024Self-organized free-flight arrival for urban air mobilitycited by 2
  25. 2024Complexity of Injectivity and Verification of ReLU Neural Networkscited by 2
  26. 2024Exploring Critical Testing Scenarios for Decision-Making Policies: An LLM Approachcited by 2
  27. 2025Verification of Bit-Flip Attacks against Quantized Neural Networkscited by 2
  28. 2025Statistical Runtime Verification for LLMs via Robustness Estimationcited by 2
  29. 2021Overestimation learning with guaranteescited by 1
  30. 2021Croesus: Multi-Stage Processing and Transactions for Video-Analytics in Edge-Cloud Systemscited by 1
  31. 2022EcoFlow: Efficient Convolutional Dataflows for Low-Power Neural Network Acceleratorscited by 1
  32. 2023Vertex-based reachability analysis for verifying ReLU deep neural networkscited by 1
  33. 2024Concurrent Self-testing of Neural Networks Using Uncertainty Fingerprintcited by 1
  34. 2024Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networkscited by 1
  35. 2024ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNscited by 1
  36. 2024Training Verification-Friendly Neural Networks via Neuron Behavior Consistencycited by 1
  37. 2026Defining Operational Conditions for Safety-Critical AI-Based Systems from Datacited by 1
  38. 2026From High-Dimensional Spaces to Verifiable ODD Coverage for Safety-Critical AI-based Systemscited by 1

50 most cited of 58 All 58 (JSON)