De Giacomo G, Iocchi L, Favorito M, Patrizi F. Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications. ICAPS [Internet]. 2019 Jul. 5 [cited 2026 May 12];29(1):128-36. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/3549