De Giacomo, G.; Iocchi, L.; Favorito, M.; Patrizi, F. Foundations for Restraining Bolts: Reinforcement Learning With LTLf/LDLf Restraining Specifications. ICAPS 2021, 29, 128-136.