PIGAT: Physics-Informed Graph Attention Transformer for Air Traffic State Prediction | IEEE Journals & Magazine | IEEE Xplore