Comment by mindslight

Known exceptional conditions can all be modeled and simulated preemptively. Like on each position update, for each plane, what does the overall situation look like if it needs to all of a sudden make an emergency landing.

(and just to be clear, no I'm not talking the "AI" genie but rather straightforward search algorithms that enforce the needed invariants)