De Giacomo, G., L. Iocchi, M. Favorito, and F. Patrizi. “Foundations for Restraining Bolts: Reinforcement Learning With LTLf/LDLf Restraining Specifications”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 29, no. 1, May 2021, pp. 128-36, https://ojs.aaai.org/index.php/ICAPS/article/view/3549.