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"

50 / 59 papers shown

Title
Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives Milad Kazemi Mateo Perez Fabio Somenzi Sadegh Soudjani Ashutosh Trivedi Alvaro Velasquez 9 0 0 21 May 2025
Learning Symbolic Persistent Macro-Actions for POMDP Solving Over Time Celeste Veronese Daniele Meli Alessandro Farinelli 32 0 0 06 May 2025
HypRL: Reinforcement Learning of Control Policies for Hyperproperties Tzu-Han Hsu Arshia Rafieioskouei Borzoo Bonakdarpour 41 0 0 07 Apr 2025
SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models Yi Wu Z. Xiong Yiran Hu Shreyash S. Iyengar Nan Jiang Aniket Bera Lin Tan Suresh Jagannathan LM&Ro LLMAG 86 4 0 17 Feb 2025
Online inductive learning from answer sets for efficient reinforcement learning exploration Celeste Veronese Daniele Meli Alessandro Farinelli OnRL 61 1 0 13 Jan 2025
Adaptive Reward Design for Reinforcement Learning Minjae Kwon Ingy Elsayed-Aly Lu Feng 75 2 0 14 Dec 2024
Learning Hidden Subgoals under Temporal Ordering Constraints in Reinforcement Learning Duo Xu Faramarz Fekri OffRL 38 0 0 03 Nov 2024
Guiding Multi-agent Multi-task Reinforcement Learning by a Hierarchical Framework with Logical Reward Shaping Chanjuan Liu Jinmiao Cong Bingcai Chen Yaochu Jin Enqiang Zhu 50 0 0 02 Nov 2024
DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL Mathias Jackermeier Alessandro Abate OffRL 51 1 0 06 Oct 2024
Enumerating Minimal Unsatisfiable Cores of LTLf formulas Antonio Ielo Giuseppe Mazzotta Rafael Peñaloza Francesco Ricca LRM 19 0 0 14 Sep 2024
Neural Reward Machines Elena Umili F. Argenziano Roberto Capobianco NAI 33 2 0 16 Aug 2024
A Unified Approach to Multi-task Legged Navigation: Temporal Logic Meets Reinforcement Learning Jesse Jiang Samuel Coogan Ye Zhao 27 0 0 09 Jul 2024
Inductive Generalization in Reinforcement Learning from Specifications Vignesh Subramanian Rohit Kushwah Subhajit Roy Suguman Bansal OffRL 41 0 0 05 Jun 2024
Ensuring trustworthy and ethical behaviour in intelligent logical agents Stefania Costantini 25 6 0 12 Feb 2024
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis Rohan Mitta Hosein Hasanbeig Jun Wang Daniel Kroening Y. Kantaros Alessandro Abate 13 1 0 18 Dec 2023
LgTS: Dynamic Task Sampling using LLM-generated sub-goals for Reinforcement Learning Agents Yash Shukla Wenchang Gao Vasanth Sarathy Alvaro Velasquez Robert Wright Jivko Sinapov 27 9 0 14 Oct 2023
Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach Iman Sharifi M. Yildirim Saber Fallah 33 5 0 03 Jul 2023
Policy Synthesis and Reinforcement Learning for Discounted LTL Rajeev Alur Osbert Bastani Kishor Jothimurugan Mateo Perez Fabio Somenzi Ashutosh Trivedi OffRL 19 11 0 26 May 2023
Model Checking Strategies from Synthesis Over Finite Traces Suguman Bansal Yong Li L. M. Tabajara Moshe Y. Vardi Andrew M. Wells 8 8 0 15 May 2023
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees Daqian Shao Marta Kwiatkowska OffRL 29 7 0 02 May 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
Recommending the optimal policy by learning to act from temporal data Stefano Branchi A. Buliga Chiara Di Francescomarino Chiara Ghidini Francesca Meneghello M. Ronzani OffRL 22 2 0 16 Mar 2023
Learning Logic Specifications for Soft Policy Guidance in POMCP Giulio Mazzi Daniele Meli A. Castellini Alessandro Farinelli 31 12 0 16 Mar 2023
Controlled Diversity with Preference : Towards Learning a Diverse Set of Desired Skills Maxence Hussonnois Thommen George Karimpanal Santu Rana 42 4 0 07 Mar 2023
Safe Reinforcement Learning via Probabilistic Logic Shields Wen-Chi Yang G. Marra Gavin Rens Luc de Raedt OffRL 46 30 0 06 Mar 2023
Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments Jason Liu Ziyi Yang Ifrah Idrees Sam Liang Benjamin Schornstein Stefanie Tellex Ankit Parag Shah LM&Ro 28 40 0 22 Feb 2023
Hybrid Deep Reinforcement Learning and Planning for Safe and Comfortable Automated Driving Dikshant Gupta Matthias Klusch 23 2 0 30 Dec 2022
Automata Cascades: Expressivity and Sample Complexity Alessandro Ronca Nadezda A. Knorozova G. D. Giacomo 11 2 0 25 Nov 2022
Reinforcement Causal Structure Learning on Order Graph Dezhi Yang Guoxian Yu Jun Wang Zhe Wu Maozu Guo BDL CML 37 16 0 22 Nov 2022
Learning Probabilistic Temporal Safety Properties from Examples in Relational Domains Gavin Rens Wen-Chi Yang Jean-François Raskin Luc de Raedt 13 0 0 07 Nov 2022
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 28 15 0 21 Sep 2022
Scaling up ML-based Black-box Planning with Partial STRIPS Models M. Greco Álvaro Torralba Jorge A. Baier Héctor Palacios OffRL 13 0 0 10 Jul 2022
Specification-Guided Learning of Nash Equilibria with High Social Welfare Kishor Jothimurugan Suguman Bansal Osbert Bastani Rajeev Alur 39 9 0 06 Jun 2022
Mimicking Behaviors in Separated Domains G. D. Giacomo Dror Fried F. Patrizi Shufang Zhu 16 1 0 18 May 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 20 0 13 May 2022
Provably Safe Deep Reinforcement Learning for Robotic Manipulation in Human Environments Jakob Thumm Matthias Althoff 58 34 0 12 May 2022
Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes Alessandro Ronca G. Licks Giuseppe De Giacomo 11 10 0 29 Apr 2022
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning Giuseppe De Giacomo Marco Favorito Francesco Fuggitti LRM 11 10 0 21 Apr 2022
Learning to act: a Reinforcement Learning approach to recommend the best next activities Stefano Branchi Chiara Di Francescomarino Chiara Ghidini David Massimo Francesco Ricci M. Ronzani 14 10 0 29 Mar 2022
On the (In)Tractability of Reinforcement Learning for LTL Objectives Cambridge Yang Michael Littman Michael Carbin 8 18 0 24 Nov 2021
Lifelong Reinforcement Learning with Temporal Logic Formulas and Reward Machines Xuejing Zheng Chao Yu Chong Chen Jianye Hao H. Zhuo CLL OffRL 22 9 0 18 Nov 2021
Regular Decision Processes for Grid Worlds Nicky Lenaers M. V. Otterlo 20 1 0 05 Nov 2021
Symbols as a Lingua Franca for Bridging Human-AI Chasm for Explainable and Advisable AI Systems Subbarao Kambhampati S. Sreedharan Mudit Verma Yantian Zha L. Guan 52 47 0 21 Sep 2021
Target Languages (vs. Inductive Biases) for Learning to Act and Plan Hector Geffner 42 6 0 15 Sep 2021
Compositional Reinforcement Learning from Logical Specifications Kishor Jothimurugan Suguman Bansal Osbert Bastani Rajeev Alur CoGe 28 78 0 25 Jun 2021
Lifted Model Checking for Relational MDPs Wen-Chi Yang Jean-François Raskin Luc de Raedt 17 5 0 22 Jun 2021
LTL-Constrained Steady-State Policy Synthesis Jan Křetínský 13 9 0 31 May 2021
Collaborative Human-Agent Planning for Resilience Ronal Singh Tim Miller D. Reid 6 0 0 29 Apr 2021
The Logical Options Framework Brandon Araki Xiao Li Kiran Vodrahalli Jonathan A. DeCastro Micah J. Fry Daniela Rus OffRL 30 31 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