Cautious Reinforcement Learning with Logical Constraints

26 February 2020

Papers citing "Cautious Reinforcement Learning with Logical Constraints"

19 / 19 papers shown

Title
Shielded Reinforcement Learning for Hybrid Systems Asger Horn Brorholt P. G. Jensen Kim G. Larsen Florian Lorber Christian Schilling 23 4 0 28 Aug 2023
Reinforcement Learning Under Probabilistic Spatio-Temporal Constraints with Time Windows Xiaoshan Lin Abbasali Koochakzadeh Yasin Yazıcıoğlu Derya Aksaray 26 1 0 29 Jul 2023
Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey Chao Yu Xuejing Zheng H. Zhuo OffRL LRM 55 7 0 24 Apr 2023
Constrained Exploration in Reinforcement Learning with Optimality Preservation Peter C. Y. Chen 11 0 0 05 Apr 2023
Safe and Sample-efficient Reinforcement Learning for Clustered Dynamic Environments Hongyi Chen Changliu Liu OffRL 27 14 0 24 Mar 2023
Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces Hanna Krasowski Prithvi Akella Aaron D. Ames Matthias Althoff 34 2 0 12 Dec 2022
Online Shielding for Reinforcement Learning Bettina Könighofer Julian Rudolf Alexander Palmisano Martin Tappler Roderick Bloem OffRL 14 21 0 04 Dec 2022
Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees Dorde Zikelic Mathias Lechner T. Henzinger K. Chatterjee 24 22 0 11 Oct 2022
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 28 15 0 21 Sep 2022
Dynamic Shielding for Reinforcement Learning in Black-Box Environments Masaki Waga Ezequiel Castellano Sasinee Pruekprasert Stefan Klikovits Toru Takisaka I. Hasuo 23 8 0 27 Jul 2022
A Review of Safe Reinforcement Learning: Methods, Theory and Applications Shangding Gu Longyu Yang Yali Du Guang Chen Florian Walter Jun Wang Alois C. Knoll OffRL AI4TS 117 241 0 20 May 2022
Safe Reinforcement Learning via Shielding under Partial Observability Steven Carr N. Jansen Sebastian Junges Ufuk Topcu 19 45 0 02 Apr 2022
Safe Reinforcement Learning for Legged Locomotion Tsung-Yen Yang Tingnan Zhang Linda Luu Sehoon Ha Jie Tan Wenhao Yu 29 40 0 05 Mar 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
Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning Rodrigo Toro Icarte Toryn Q. Klassen Richard Valenzano Sheila A. McIlraith OffRL 44 216 0 06 Oct 2020
Enforcing Almost-Sure Reachability in POMDPs Sebastian Junges N. Jansen S. Seshia 30 26 0 30 Jun 2020
Synthesizing Safe Policies under Probabilistic Constraints with Reinforcement Learning and Bayesian Model Checking Lenz Belzner M. Wirsing 14 4 0 08 May 2020
Certified Reinforcement Learning with Logic Guidance Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 21 53 0 02 Feb 2019
Safe Exploration in Markov Decision Processes T. Moldovan Pieter Abbeel 78 308 0 22 May 2012