Safety and efficiency are two classical conflicting objectives in the air traffic system: an increase in efficiency may come at the cost of increasing density of aircraft in the space, which increases ...