Lightweight simulation of air traffic control using simple temporal networks

摘要

We provide a formulation of the air traffic control problem and a solver for this problem that makes use of temporal constraint networks and simple geometric reasoning. We provide results showing that this approach is practical for realistic simulated problems.