Model predictive control approach to global air collision avoidance
Trajectory Specification Language for Air Traffic Control
Investment is a further boost to safety
Flight Gate Assignment with a Quantum Annealer
On the probability of collision for crossing aircraft