Probabilistic aircraft conflict resolution: A stochastic optimal control approach | IEEE Conference Publication | IEEE Xplore