Exploiting Transformer in Sparse Reward Reinforcement Learning for Interpretable Temporal Logic Motion Planning | IEEE Journals & Magazine | IEEE Xplore