Traffic State Estimation with A multi-head Attention-based Transformer by Spatio-Temporal Autoencoding Transformer (STAT Model) | Synapse