Robust Airborne Collision Avoidance through Dynamic Programming

2011

113 citations recorded by the source corpus.

Citations in the corpus

• Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks (2017, neutral): “This system adopts an approach that involves solving a partially observable Markov decision process to optimize the alerting logic and further reduce the probability of midair collisions, while minimizing unnecessary alerts [18,19,21].”
• Next-Generation Airborne Collision Avoidance System (2012, unknown): “Simulation studies with recorded radar data have confirmed that such an approach leads to a significant improvement to safety and operational performance [2].”
• A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System (2015, unknown): “Kochenderfer and Chryssanthacopoulos [12] describe the design of the ACAS X lookuptables .”