Jiang, Yuqian, Suda Bharadwaj, Bo Wu, Rishi Shah, Ufuk Topcu, and Peter Stone. 2021. “Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning Tasks”. Proceedings of the AAAI Conference on Artificial Intelligence 35 (9):7995-8003. https://doi.org/10.1609/aaai.v35i9.16975.