Certified Reinforcement Learning with Logic Guidance

2 February 2019

Papers citing "Certified Reinforcement Learning with Logic Guidance"

12 / 12 papers shown

Title
Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives M. Kazemi Mateo Perez F. Somenzi Sadegh Soudjani Ashutosh Trivedi Alvaro Velasquez 7 0 0 21 May 2025
DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL Mathias Jackermeier Alessandro Abate OffRL 48 1 0 06 Oct 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
Online Shielding for Reinforcement Learning Bettina Könighofer Julian Rudolf Alexander Palmisano Martin Tappler Roderick Bloem OffRL 14 21 0 04 Dec 2022
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 23 15 0 21 Sep 2022
Synthesis from Satisficing and Temporal Goals Suguman Bansal Lydia E. Kavraki Moshe Y. Vardi Andrew M. Wells 21 3 0 20 May 2022
Secure-by-Construction Synthesis of Cyber-Physical Systems Siyuan Liu Ashutosh Trivedi Xiang Yin Majid Zamani 3DV 30 43 0 14 Feb 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
Multi-Agent Reinforcement Learning with Temporal Logic Specifications Lewis Hammond Alessandro Abate Julian Gutierrez Michael Wooldridge AI4CE 42 32 0 01 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
Optimal Probabilistic Motion Planning with Potential Infeasible LTL Constraints Mingyu Cai Shaoping Xiao Zhijun Li Z. Kan 32 40 0 28 Jul 2020
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning Abolfazl Lavaei F. Somenzi Sadegh Soudjani Ashutosh Trivedi Majid Zamani 63 52 0 02 Mar 2020