Camacho, A.; Chen, O.; Sanner, S.; McIlraith, S. Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping. SOCS 2021, 8, 159-160.