TY  - RPRT
TI  - Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance Systems
AU  - Kyle D. Julian
AU  - Mykel J. Kochenderfer
PY  - 2020
DO  - 10.1109/dasc43569.2019.9081748
UR  - https://arxiv.org/abs/1912.07084
ID  - 1912.07084
ER  -