Brafman, Ronen, Giuseppe De Giacomo, and Fabio Patrizi. 2018. “LTLf/LDLf Non-Markovian Rewards”. Proceedings of the AAAI Conference on Artificial Intelligence 32 (1). https://ojs.aaai.org/index.php/AAAI/article/view/11572.