Multiple-Aircraft-Conflict Resolution Under Uncertainties | Synapse