A hybrid SBAS-InSAR and LSTM-Transformer approach for predicting mining-induced surface subsidence | Synapse