Thales is Using AI to Augment Air Traffic Management