Compositional Reinforcement Learning from Logical Specifications

25 June 2021

Papers citing "Compositional Reinforcement Learning from Logical Specifications"

36 / 36 papers shown

Title
Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning Beyazit Yalcinkaya Niklas Lauffer Marcell Vazquez-Chanlatte Sanjit A. Seshia OffRL 97 0 0 06 Mar 2025
Adaptive Reward Design for Reinforcement Learning Minjae Kwon Ingy Elsayed-Aly Lu Feng 95 2 0 14 Dec 2024
Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning Beyazit Yalcinkaya Niklas Lauffer Marcell Vazquez-Chanlatte Sanjit A. Seshia AI4CE 83 5 0 31 Oct 2024
DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL Mathias Jackermeier Alessandro Abate OffRL 65 1 0 06 Oct 2024
Reduce, Reuse, Recycle: Categories for Compositional Reinforcement Learning Georgios Bakirtzis M. Savvas Ruihan Zhao Sandeep Chinchali Ufuk Topcu 59 2 0 23 Aug 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 72 7 0 31 May 2024
LTL-Constrained Policy Optimization with Cycle Experience Replay Ameesh Shah Cameron Voloshin Chenxi Yang Abhinav Verma Swarat Chaudhuri Sanjit A. Seshia 76 1 0 17 Apr 2024
Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications Jun Wang Hosein Hasanbeig Kaiyuan Tan Zihe Sun Y. Kantaros 59 3 0 28 Nov 2023
Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey Chao Yu Xuejing Zheng H. Zhuo OffRL LRM 74 8 0 24 Apr 2023
Categorical semantics of compositional reinforcement learning Georgios Bakirtzis M. Savvas Ufuk Topcu CoGe 60 4 0 29 Aug 2022
LTL2Action: Generalizing LTL Instructions for Multi-Task RL Pashootan Vaezipoor Andrew C. Li Rodrigo Toro Icarte Sheila A. McIlraith OffRL AI4CE 68 75 0 13 Feb 2021
Multi-Agent Reinforcement Learning with Temporal Logic Specifications Lewis Hammond Alessandro Abate Julian Gutierrez Michael Wooldridge AI4CE 62 32 0 01 Feb 2021
Neurosymbolic Transformers for Multi-Agent Communication J. Inala Yichen Yang James Paulos Yewen Pu Osbert Bastani Vijay Kumar Martin Rinard Armando Solar-Lezama 65 24 0 05 Jan 2021
Abstract Value Iteration for Hierarchical Reinforcement Learning Kishor Jothimurugan Osbert Bastani Rajeev Alur 16 22 0 29 Oct 2020
Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning Rodrigo Toro Icarte Toryn Q. Klassen Richard Valenzano Sheila A. McIlraith OffRL 79 217 0 06 Oct 2020
A Composable Specification Language for Reinforcement Learning Tasks Kishor Jothimurugan Rajeev Alur Osbert Bastani 39 86 0 21 Aug 2020
Reward Machines for Cooperative Multi-Agent Reinforcement Learning Cyrus Neary Zhe Xu Bo Wu Ufuk Topcu 29 44 0 03 Jul 2020
Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas Yen-Ling Kuo Boris Katz Andrei Barbu 42 40 0 01 Jun 2020
Modular Deep Reinforcement Learning with Temporal Logic Specifications Li-xin Yuan Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening OffRL 30 40 0 23 Sep 2019
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees Mohammadhosein Hasanbeig Y. Kantaros Alessandro Abate Daniel Kroening George J. Pappas Insup Lee AI4CE 98 150 0 11 Sep 2019
Transfer of Temporal Logic Formulas in Reinforcement Learning Zhe Xu Ufuk Topcu 31 52 0 10 Sep 2019
Search on the Replay Buffer: Bridging Planning and Reinforcement Learning Benjamin Eysenbach Ruslan Salakhutdinov Sergey Levine OffRL 51 289 0 12 Jun 2019
Omega-Regular Objectives in Model-Free Reinforcement Learning E. M. Hahn Mateo Perez S. Schewe Fabio Somenzi Ashutosh Trivedi D. Wojtczak 73 145 0 26 Sep 2018
Learning Dexterous In-Hand Manipulation OpenAI OpenAI Marcin Andrychowicz Bowen Baker Maciek Chociej Rafal Jozefowicz ... Szymon Sidor Joshua Tobin Peter Welinder Lilian Weng Wojciech Zaremba 70 1,865 0 01 Aug 2018
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf restraining specifications Giuseppe De Giacomo Luca Iocchi Marco Favorito F. Patrizi OffRL 41 123 0 17 Jul 2018
Programmatically Interpretable Reinforcement Learning Abhinav Verma V. Murali Rishabh Singh Pushmeet Kohli Swarat Chaudhuri 101 349 0 06 Apr 2018
Addressing Function Approximation Error in Actor-Critic Methods Scott Fujimoto H. V. Hoof David Meger OffRL 139 5,121 0 26 Feb 2018
Logically-Constrained Reinforcement Learning Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening 23 82 0 24 Jan 2018
Multi-Agent Actor-Critic for Mixed Cooperative-Competitive Environments Ryan J. Lowe Yi Wu Aviv Tamar J. Harb Pieter Abbeel Igor Mordatch 116 4,441 0 07 Jun 2017
Environment-Independent Task Specifications via GLTL Michael L. Littman Ufuk Topcu Jie Fu Charles Isbell Min Wen J. MacGlashan 36 143 0 14 Apr 2017
Combining Model-Based and Model-Free Updates for Trajectory-Centric Reinforcement Learning Yevgen Chebotar Karol Hausman Marvin Zhang Gaurav Sukhatme S. Schaal Sergey Levine 55 160 0 08 Mar 2017
Reinforcement Learning With Temporal Logic Rewards Xiao Li C. Vasile C. Belta 42 214 0 11 Dec 2016
Modular Multitask Reinforcement Learning with Policy Sketches Jacob Andreas Dan Klein Sergey Levine OffRL 90 460 0 06 Nov 2016
Concrete Problems in AI Safety Dario Amodei C. Olah Jacob Steinhardt Paul Christiano John Schulman Dandelion Mané 147 2,371 0 21 Jun 2016
OpenAI Gym Greg Brockman Vicki Cheung Ludwig Pettersson Jonas Schneider John Schulman Jie Tang Wojciech Zaremba OffRL ODL 169 5,056 0 05 Jun 2016
End-to-End Training of Deep Visuomotor Policies Sergey Levine Chelsea Finn Trevor Darrell Pieter Abbeel BDL 214 3,418 0 02 Apr 2015