Policy compression for aircraft collision avoidance systems | IEEE Conference Publication | IEEE Xplore