I also would be surprised they already don't have mechanisms to validate choices made by traffic controller. That probably be a polynomial difficulty problem.

In the air, most planes are required to have a Traffic Collision Avoidance System onboard. It will alert pilots if they are too close to other aircraft and what action to take if they're too close. Pilots are required to perform the action if alerted regardless of what the traffic controller says.