Probabilistic Aircraft Midair Conflict Resolution Using Stochastic Optimal Control | IEEE Journals & Magazine | IEEE Xplore