Towards Verification of Neural Networks for Small Unmanned Aircraft Collision Avoidance

Published in 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC'20), 2020