Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf restraining specifications

17 July 2018

Papers citing "Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf restraining specifications"

9 / 59 papers shown

Title
Online Learning of Non-Markovian Reward Models Gavin Rens Jean-François Raskin Raphaël Reynouad G. Marra OffRL 8 13 0 26 Sep 2020
Verifiably Safe Exploration for End-to-End Reinforcement Learning Nathan Hunt Nathan Fulton Sara Magliacane Nghia Hoang Subhro Das Armando Solar-Lezama OffRL 9 49 0 02 Jul 2020
Systematic Generalisation through Task Temporal Logic and Deep Reinforcement Learning Borja G. Leon Murray Shanahan Francesco Belardinelli NAI AI4CE 31 28 0 12 Jun 2020
Extended Markov Games to Learn Multiple Tasks in Multi-Agent Reinforcement Learning Borja G. Leon Francesco Belardinelli OffRL 28 17 0 14 Feb 2020
Bridging the Gap: Providing Post-Hoc Symbolic Explanations for Sequential Decision-Making Problems with Inscrutable Representations S. Sreedharan Utkarsh Soni Mudit Verma Siddharth Srivastava S. Kambhampati 76 30 0 04 Feb 2020
Learning Non-Markovian Reward Models in MDPs Gavin Rens Jean-François Raskin 11 12 0 25 Jan 2020
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning Mohammadhosein Hasanbeig N. Jeppu Alessandro Abate T. Melham Daniel Kroening 13 20 0 22 Nov 2019
Modular Deep Reinforcement Learning with Temporal Logic Specifications Li-xin Yuan Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening OffRL 14 39 0 23 Sep 2019
Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning A. Bozkurt Yu Wang Michael M. Zavlanos Miroslav Pajic 8 124 0 16 Sep 2019