A two-step approach to aircraft conflict resolution combining optimal deterministic design with Monte Carlo stochastic optimization | IEEE Conference Publication | IEEE Xplore