Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications

TitleFoundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications
Publication TypeJournal Article
AuthorsDe Giacomo, Giuseppe, Iocchi Luca, Favorito Marco, and Patrizi Fabio