An example method includes determining a probable flight trajectory for each respective flight; modifying the probable flight trajectory based on constraints imposed by Air Traffic Controller (ATC) rules to generate a modified flight trajectory; assigning respective arrival slots for modified flight trajectories; receiving trajectory exchange information indicating that two aircraft operators have exchanged two respective flight trajectories associated with two respective flights operated by the two aircraft operators; based on the trajectory exchange information, modifying: (i) the two respective flight trajectories, and (ii) respective arrival slots assigned to the two respective flight trajectories; and transmitting, by the computing device, the modified two respective flight trajectories to respective aircraft assigned to perform the two respective flights.