ACAS-Xu Initial Self-Separation Flight Tests

By M. Marston, Gabe Baca. 2015

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Shiqi Wang
2. Sven Gowal
3. Huan Zhang
4. Suman Sekhar Jana
5. Kexin Pei
6. Robert Stanforth
7. Krishnamurthy (Dj) Dvijotham
8. Justin Whitehouse

Citations in the corpus

• Formal Security Analysis of Neural Networks using Symbolic Intervals (2018, methodology): “It was successfully tested by NASA and FAA [2, 33] and is on schedule to be installed in over 30,000 passengers and cargo aircraft worldwide [40] and US Navy’s fleets [3].”
• A Dual Approach to Scalable Verification of Deep Networks (2018, background): “However, this evaluation protocol is not sufficient in domains with critical safety constraints [Marston and Baca, 2015].”