Optimal Strategies for Free-Flight Air Traffic Conflict Resolution | Synapse