Verification of Sparsity in the Attention Mechanism of Transformer for Anomaly Detection in Multivariate Time Series | IEEE Conference Publication | IEEE Xplore