> How realistic is it to have ATC performed by an AI?

Not very. For safety-critical systems, you probably want something deterministic, and doesn't break when faced with novel situations.

Solvers are probably a better solution than ML approaches, but they can't capture every possible constraint, such as airplane that can only make left-handed turns because of equipment failure.