De Giacomo, G. (2019) “Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications”, Proceedings of the International Conference on Automated Planning and Scheduling, 29(1), pp. 128–136. doi: 10.1609/icaps.v29i1.3549.