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