Camacho, Alberto, Oscar Chen, Scott Sanner, and Sheila McIlraith. 2021. “Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping”. Proceedings of the International Symposium on Combinatorial Search 8 (1):159-60. https://doi.org/10.1609/socs.v8i1.18421.