This is coming from someone who only has experience as a commercial flight passenger, but I would expect AI to be very promising for ATC. Obviously there are various concerns ranging from potential attack vectors and the need for failsafes if any automated system fails, but has this been explored?