Comment by looofooo0

To be fair, a system like ACAS is quite old and modern systems with better margins are currently developed and tested, they use techniques such as logic of dynamical systems to proof that the collision avoidance is working as intended. If one can accelerate these it would be an improvement. Don't know about air traffic control, but Europe seems to more advanced.