LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning

21 September 2022

Papers citing "LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning"

12 / 12 papers shown

Title
Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration Y. Kantaros Jun Wang 34 5 0 16 Oct 2024
Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications Jun Wang Hosein Hasanbeig Kaiyuan Tan Zihe Sun Y. Kantaros 35 3 0 28 Nov 2023
Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks Jun Wang Haojun Chen Zihe Sun Y. Kantaros 38 0 0 17 Nov 2023
ALLURE: Auditing and Improving LLM-based Evaluation of Text using Iterative In-Context-Learning Hosein Hasanbeig Hiteshi Sharma Leo Betthauser Felipe Vieira Frujeri Ida Momennejad 38 15 0 24 Sep 2023
Probabilistic Counterexample Guidance for Safer Reinforcement Learning (Extended Version) Xiaotong Ji Antonio Filieri OffRL 22 1 0 10 Jul 2023
Inverse Constraint Learning and Generalization by Transferable Reward Decomposition Jaehwi Jang Minjae Song Daehyung Park 16 0 0 21 Jun 2023
System III: Learning with Domain Knowledge for Safety Constraints Fazl Barez Hosien Hasanbieg Alesandro Abbate 19 4 0 23 Apr 2023
Co-learning Planning and Control Policies Constrained by Differentiable Logic Specifications Zikang Xiong Daniel Lawson Joe Eappen A. H. Qureshi Suresh Jagannathan 13 0 0 02 Mar 2023
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking Dennis Gross N. Jansen Sebastian Junges G. Pérez 35 9 0 15 Sep 2022
Provably Safe Reinforcement Learning: Conceptual Analysis, Survey, and Benchmarking Hanna Krasowski Jakob Thumm Marlon Müller Lukas Schäfer Xiao Wang Matthias Althoff 88 19 0 13 May 2022
Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic Mingyu Cai Mohammadhosein Hasanbeig Shaoping Xiao Alessandro Abate Z. Kan 80 86 0 24 Feb 2021
Certified Reinforcement Learning with Logic Guidance Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 16 52 0 02 Feb 2019