Computational Red Teaming for Air Traffic Management | part of Simulation and Computational Red Teaming for Problem Solving | Wiley-IEEE Press books | IEEE Xplore