A. Camacho, O. Chen, S. Sanner, and S. McIlraith, “Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping”, SOCS, vol. 8, no. 1, pp. 159–160, Sep. 2021.