Camacho, A., Chen, O., Sanner, S., & McIlraith, S. (2021). Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping. Proceedings of the International Symposium on Combinatorial Search, 8(1), 159–160. https://doi.org/10.1609/socs.v8i1.18421