TrAISformer: Spatio-Temporal Ship Trajectory Prediction Based on Transformer | IEEE Conference Publication | IEEE Xplore