Logically-Constrained Reinforcement Learning

24 January 2018

Papers citing "Logically-Constrained Reinforcement Learning"

21 / 21 papers shown

Title
HypRL: Reinforcement Learning of Control Policies for Hyperproperties Tzu-Han Hsu Arshia Rafieioskouei Borzoo Bonakdarpour 41 0 0 07 Apr 2025
DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL Mathias Jackermeier Alessandro Abate OffRL 51 1 0 06 Oct 2024
Scalable Signal Temporal Logic Guided Reinforcement Learning via Value Function Space Optimization Yiting He Peiran Liu Yiding Ji OffRL 38 0 0 04 Aug 2024
Inductive Generalization in Reinforcement Learning from Specifications Vignesh Subramanian Rohit Kushwah Subhajit Roy Suguman Bansal OffRL 46 0 0 05 Jun 2024
Reward Machines for Deep RL in Noisy and Uncertain Environments Andrew C. Li Zizhao Chen Toryn Q. Klassen Pashootan Vaezipoor Rodrigo Toro Icarte Sheila A. McIlraith 55 7 0 31 May 2024
LTL-Constrained Policy Optimization with Cycle Experience Replay Ameesh Shah Cameron Voloshin Chenxi Yang Abhinav Verma Swarat Chaudhuri S. Seshia 31 1 0 17 Apr 2024
Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey Chao Yu Xuejing Zheng H. Zhuo OffRL LRM 55 7 0 24 Apr 2023
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 34 15 0 21 Sep 2022
Learning Task Automata for Reinforcement Learning using Hidden Markov Models Alessandro Abate Y. Almulla James Fox David Hyland Michael Wooldridge OffRL 33 6 0 25 Aug 2022
Accelerated Reinforcement Learning for Temporal Logic Control Objectives Y. Kantaros 18 11 0 09 May 2022
Joint Learning of Reward Machines and Policies in Environments with Partially Known Semantics Christos K. Verginis Cevahir Köprülü Sandeep Chinchali Ufuk Topcu 33 10 0 20 Apr 2022
Possibility Before Utility: Learning And Using Hierarchical Affordances Robby Costales Shariq Iqbal Fei Sha 31 5 0 23 Mar 2022
On Assessing The Safety of Reinforcement Learning algorithms Using Formal Methods Paulina Stevia Nouwou Mindom Amin Nikanjam Foutse Khomh J. Mullins AAML 30 3 0 08 Nov 2021
Compositional Reinforcement Learning from Logical Specifications Kishor Jothimurugan Suguman Bansal Osbert Bastani Rajeev Alur CoGe 33 78 0 25 Jun 2021
Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic Mingyu Cai Mohammadhosein Hasanbeig Shaoping Xiao Alessandro Abate Z. Kan 85 86 0 24 Feb 2021
Model-based Reinforcement Learning from Signal Temporal Logic Specifications Parv Kapoor Anand Balakrishnan Jyotirmoy V. Deshmukh 29 22 0 10 Nov 2020
Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning Rodrigo Toro Icarte Toryn Q. Klassen Richard Valenzano Sheila A. McIlraith OffRL 49 216 0 06 Oct 2020
Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning Milad Kazemi Sadegh Soudjani 30 29 0 04 May 2020
Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning A. Bozkurt Yu Wang Michael M. Zavlanos Miroslav Pajic 13 124 0 16 Sep 2019
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees Mohammadhosein Hasanbeig Y. Kantaros Alessandro Abate Daniel Kroening George J. Pappas Insup Lee AI4CE 22 151 0 11 Sep 2019
Certified Reinforcement Learning with Logic Guidance Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 24 53 0 02 Feb 2019