G. De Giacomo, L. Iocchi, M. Favorito, and F. Patrizi, “Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications”, ICAPS, vol. 29, no. 1, pp. 128-136, May 2021.