TY - RPRT TI - Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf restraining specifications AU - Giuseppe De Giacomo AU - Luca Iocchi AU - Marco Favorito AU - Fabio Patrizi PY - 2019 UR - https://arxiv.org/abs/1807.06333 ID - 1807.06333 ER -