TY  - RPRT
TI  - Verifying Aircraft Collision Avoidance Neural Networks Through Linear Approximations of Safe Regions
AU  - Kyle D. Julian
AU  - Shivam Sharma
AU  - Jean-Baptiste Jeannin
AU  - Mykel J. Kochenderfer
PY  - 2019
UR  - https://arxiv.org/abs/1903.00762
ID  - 1903.00762
ER  -