Policy compression for aircraft collision avoidance systems | Synapse