Compositional Reinforcement Learning from Logical Specifications

25 June 2021

Papers citing "Compositional Reinforcement Learning from Logical Specifications"

50 / 51 papers shown

Title
Qualitative Analysis of $ω$ -Regular Objectives on Robust MDPs Ali Asadi Krishnendu Chatterjee Ehsan Kafshdar Goharshady Mehrdad Karrabi Ali Shafiee 37 0 0 07 May 2025
HypRL: Reinforcement Learning of Control Policies for Hyperproperties Tzu-Han Hsu Arshia Rafieioskouei Borzoo Bonakdarpour 31 0 0 07 Apr 2025
Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning Beyazit Yalcinkaya Niklas T. Lauffer Marcell Vazquez-Chanlatte S. Seshia OffRL 52 0 0 06 Mar 2025
Adaptive Reward Design for Reinforcement Learning in Complex Robotic Tasks Minjae Kwon Ingy Elsayed-Aly Lu Feng 65 2 0 14 Dec 2024
Multi-agent Path Finding for Timed Tasks using Evolutionary Games Sheryl Paul Anand Balakrishnan Xin Qin Jyotirmoy V. Deshmukh 21 0 0 15 Nov 2024
Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning Beyazit Yalcinkaya Niklas Lauffer Marcell Vazquez-Chanlatte S. Seshia AI4CE 47 5 0 31 Oct 2024
Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration Y. Kantaros Jun Wang 27 5 0 16 Oct 2024
Generalization of Compositional Tasks with Logical Specification via Implicit Planning Duo Xu Faramarz Fekri OffRL 23 1 0 13 Oct 2024
DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL Mathias Jackermeier Alessandro Abate OffRL 34 1 0 06 Oct 2024
Reduce, Reuse, Recycle: Categories for Compositional Reinforcement Learning Georgios Bakirtzis M. Savvas Ruihan Zhao Sandeep P. Chinchali Ufuk Topcu 36 2 0 23 Aug 2024
Directed Exploration in Reinforcement Learning from Linear Temporal Logic Marco Bagatella Andreas Krause Georg Martius OffRL 31 1 0 18 Aug 2024
Inductive Generalization in Reinforcement Learning from Specifications Vignesh Subramanian Rohit Kushwah Subhajit Roy Suguman Bansal OffRL 26 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 46 6 0 31 May 2024
From Frege to chatGPT: Compositionality in language, cognition, and deep neural networks Jacob Russin Sam Whitman McGrath Danielle J. Williams Lotem Elber-Dorozko AI4CE 63 3 0 24 May 2024
Safe Reinforcement Learning with Learned Non-Markovian Safety Constraints Siow Meng Low Akshat Kumar OffRL 24 0 0 05 May 2024
Numeric Reward Machines Kristina Levina Nikolaos Pappas Athanasios Karapantelakis Aneta Vulgarakis Feljan Jendrik Seipp 38 1 0 30 Apr 2024
LTL-Constrained Policy Optimization with Cycle Experience Replay Ameesh Shah Cameron Voloshin Chenxi Yang Abhinav Verma Swarat Chaudhuri S. Seshia 29 1 0 17 Apr 2024
Planning with a Learned Policy Basis to Optimally Solve Complex Tasks Guillermo Infante David Kuric Anders Jonsson Vicencc Gómez H. V. Hoof OffRL 19 2 0 22 Mar 2024
Logical Specifications-guided Dynamic Task Sampling for Reinforcement Learning Agents Yash Shukla Wenchang Gao Vasanth Sarathy Robert Wright Alvaro Velasquez Jivko Sinapov 18 0 0 06 Feb 2024
Assume-Guarantee Reinforcement Learning M. Kazemi Mateo Perez F. Somenzi Sadegh Soudjani Ashutosh Trivedi Alvaro Velasquez OffRL 9 1 0 15 Dec 2023
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees Dorde Zikelic Mathias Lechner Abhinav Verma K. Chatterjee T. Henzinger 25 9 0 03 Dec 2023
Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications Jun Wang Hosein Hasanbeig Kaiyuan Tan Zihe Sun Y. Kantaros 25 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 30 0 0 17 Nov 2023
Rule-Based Error Detection and Correction to Operationalize Movement Trajectory Classification B. Xi Kevin Scaria Paulo Shakarian Paulo Shakarian 32 2 0 28 Aug 2023
Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning Kevin J. Leahy Makai Mann Zachary Serlin CoGe OffRL 8 0 0 29 Jun 2023
Policy Synthesis and Reinforcement Learning for Discounted LTL Rajeev Alur Osbert Bastani Kishor Jothimurugan Mateo Perez F. Somenzi Ashutosh Trivedi OffRL 9 11 0 26 May 2023
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees Daqian Shao M. Kwiatkowska OffRL 8 6 0 02 May 2023
Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey Chao Yu Xuejing Zheng H. Zhuo OffRL LRM 53 7 0 24 Apr 2023
Topological Guided Actor-Critic Modular Learning of Continuous Systems with Temporal Objectives Lening Li Zhentian Qian 19 0 0 20 Apr 2023
Automaton-Guided Curriculum Generation for Reinforcement Learning Agents Yash Shukla A. Kulkarni Robert Wright Alvaro Velasquez Jivko Sinapov 18 1 0 11 Apr 2023
Safe MDP Planning by Learning Temporal Patterns of Undesirable Trajectories and Averting Negative Side Effects Siow Meng Low Akshat Kumar Scott Sanner 11 2 0 06 Apr 2023
Handling Long and Richly Constrained Tasks through Constrained Hierarchical Reinforcement Learning Yu Lu Arunesh Sinha Pradeep Varakantham 11 0 0 21 Feb 2023
Generalizing LTL Instructions via Future Dependent Options Duo Xu Faramarz Fekri OffRL AI4CE 21 1 0 08 Dec 2022
E-MAPP: Efficient Multi-Agent Reinforcement Learning with Parallel Program Guidance C. Chang Ni Mu Jiajun Wu Ling Pan Huazhe Xu 43 7 0 05 Dec 2022
Automata Cascades: Expressivity and Sample Complexity Alessandro Ronca Nadezda A. Knorozova G. D. Giacomo 11 2 0 25 Nov 2022
Noisy Symbolic Abstractions for Deep RL: A case study with Reward Machines Andrew C. Li Zizhao Chen Pashootan Vaezipoor Toryn Q. Klassen Rodrigo Toro Icarte Sheila A. McIlraith OffRL 10 9 0 20 Nov 2022
Safe Policy Improvement in Constrained Markov Decision Processes Luigi Berducci Radu Grosu OffRL 31 2 0 20 Oct 2022
Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks Xiaowu Sun Yasser Shoukry 43 11 0 11 Oct 2022
Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives Jun Wang Samarth Kalluraya Y. Kantaros 14 8 0 13 Sep 2022
Categorical semantics of compositional reinforcement learning Georgios Bakirtzis M. Savvas Ufuk Topcu CoGe 38 4 0 29 Aug 2022
Learning Task Automata for Reinforcement Learning using Hidden Markov Models Alessandro Abate Y. Almulla James Fox David Hyland Michael Wooldridge OffRL 20 5 0 25 Aug 2022
How to Reuse and Compose Knowledge for a Lifetime of Tasks: A Survey on Continual Learning and Functional Composition Jorge Armando Mendez Mendez Eric Eaton KELM CLL 19 27 0 15 Jul 2022
DistSPECTRL: Distributing Specifications in Multi-Agent Reinforcement Learning Systems Joe Eappen Suresh Jagannathan 6 3 0 28 Jun 2022
Specification-Guided Learning of Nash Equilibria with High Social Welfare Kishor Jothimurugan Suguman Bansal Osbert Bastani Rajeev Alur 23 9 0 06 Jun 2022
Skill Machines: Temporal Logic Skill Composition in Reinforcement Learning Geraud Nangue Tasse Devon Jarvis Steven D. James Benjamin Rosman 30 4 0 25 May 2022
Accelerated Reinforcement Learning for Temporal Logic Control Objectives Y. Kantaros 11 11 0 09 May 2022
Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates Souradeep Dutta Kaustubh Sridhar Osbert Bastani Edgar Dobriban James Weimer Insup Lee J. Parish-Morris 11 2 0 25 Feb 2022
Hierarchical Potential-based Reward Shaping from Task Specifications Luigi Berducci Edgar A. Aguilar Dejan Nivcković Radu Grosu 25 10 0 06 Oct 2021
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments Yichen Yang J. Inala Osbert Bastani Yewen Pu Armando Solar-Lezama Martin Rinard 26 12 0 22 Feb 2021
LTL2Action: Generalizing LTL Instructions for Multi-Task RL Pashootan Vaezipoor Andrew C. Li Rodrigo Toro Icarte Sheila A. McIlraith OffRL AI4CE 31 73 0 13 Feb 2021