v1v2v3 (latest)

LTL2Action: Generalizing LTL Instructions for Multi-Task RL

13 February 2021

Pashootan Vaezipoor

Papers citing "LTL2Action: Generalizing LTL Instructions for Multi-Task RL"

40 / 40 papers shown

Title
Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning Beyazit Yalcinkaya Niklas Lauffer Marcell Vazquez-Chanlatte Sanjit A. Seshia OffRL 145 0 0 06 Mar 2025
Exploiting Hybrid Policy in Reinforcement Learning for Interpretable Temporal Logic Manipulation Hao Zhang Hao Wang Xiucai Huang Wenrui Chen Z. Kan 126 0 0 31 Dec 2024
Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning Beyazit Yalcinkaya Niklas Lauffer Marcell Vazquez-Chanlatte Sanjit A. Seshia AI4CE 114 6 0 31 Oct 2024
BlendRL: A Framework for Merging Symbolic and Neural Policy Learning Hikaru Shindo Quentin Delfosse Devendra Singh Dhami Kristian Kersting 107 5 0 15 Oct 2024
DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL Mathias Jackermeier Alessandro Abate OffRL 139 2 0 06 Oct 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 98 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 118 1 0 17 Apr 2024
Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey Chao Yu Xuejing Zheng H. Zhuo OffRL LRM 104 8 0 24 Apr 2023
Categorical semantics of compositional reinforcement learning Georgios Bakirtzis M. Savvas Ufuk Topcu CoGe 95 4 0 29 Aug 2022
Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning Rodrigo Toro Icarte Toryn Q. Klassen Richard Valenzano Sheila A. McIlraith OffRL 111 222 0 06 Oct 2020
Grounded Language Learning Fast and Slow Felix Hill O. Tieleman Tamara von Glehn Nathaniel Wong Hamza Merzic S. Clark LM&Ro 99 81 0 03 Sep 2020
A Composable Specification Language for Reinforcement Learning Tasks Kishor Jothimurugan Rajeev Alur Osbert Bastani 73 87 0 21 Aug 2020
Learning Branching Heuristics for Propositional Model Counting Pashootan Vaezipoor Gil Lederman Yuhuai Wu Chris J. Maddison Roger C. Grosse Sanjit A. Seshia F. Bacchus LRM 60 13 0 07 Jul 2020
Systematic Generalisation through Task Temporal Logic and Deep Reinforcement Learning Borja G. Leon Murray Shanahan Francesco Belardinelli NAI AI4CE 68 29 0 12 Jun 2020
Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas Yen-Ling Kuo Boris Katz Andrei Barbu 56 41 0 01 Jun 2020
Modular Deep Reinforcement Learning with Temporal Logic Specifications Li-xin Yuan Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening OffRL 52 41 0 23 Sep 2019
Transfer of Temporal Logic Formulas in Reinforcement Learning Zhe Xu Ufuk Topcu 57 52 0 10 Sep 2019
Language as an Abstraction for Hierarchical Deep Reinforcement Learning Yiding Jiang S. Gu Kevin Patrick Murphy Chelsea Finn OffRL 57 225 0 18 Jun 2019
Compositional generalization through meta sequence-to-sequence learning Brenden M. Lake CoGe 83 199 0 12 Jun 2019
A Survey of Reinforcement Learning Informed by Natural Language Jelena Luketina Nantas Nardelli Gregory Farquhar Jakob N. Foerster Jacob Andreas Edward Grefenstette Shimon Whiteson Tim Rocktaschel LM&Ro KELM OffRL LRM 84 282 0 10 Jun 2019
Planning With Uncertain Specifications (PUnS) Ankit J. Shah Shen Li J. Shah 53 25 0 07 Jun 2019
Quantifying Generalization in Reinforcement Learning K. Cobbe Oleg Klimov Christopher Hesse Taehoon Kim John Schulman OffRL 109 673 0 06 Dec 2018
Hierarchical Reinforcement Learning for Zero-shot Generalization with Subtask Dependencies Sungryull Sohn Junhyuk Oh Honglak Lee 130 66 0 19 Jul 2018
Learning to Understand Goal Specifications by Modelling Reward Dzmitry Bahdanau Felix Hill Jan Leike Edward Hughes Seyedarian Hosseini Pushmeet Kohli Edward Grefenstette 116 159 0 05 Jun 2018
Learning a SAT Solver from Single-Bit Supervision Daniel Selsam Matthew Lamm Benedikt Bünz Percy Liang L. D. Moura D. Dill NAI 92 424 0 11 Feb 2018
Interactive Grounded Language Acquisition and Generalization in a 2D World Haonan Yu Haichao Zhang Wenyuan Xu LLMAG LM&Ro 136 79 0 31 Jan 2018
Logically-Constrained Reinforcement Learning Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening 56 83 0 24 Jan 2018
Learning to Represent Programs with Graphs Miltiadis Allamanis Marc Brockschmidt Mahmoud Khademi GNN NAI 123 803 0 01 Nov 2017
Interpretable Apprenticeship Learning with Temporal Logic Specifications Daniel Kasenberg matthias. scheutz AI4CE 39 47 0 28 Oct 2017
Neural Task Programming: Learning to Generalize Across Hierarchical Tasks Danfei Xu Suraj Nair Yuke Zhu J. Gao Animesh Garg Li Fei-Fei Silvio Savarese 75 197 0 04 Oct 2017
A Policy Search Method For Temporal Logic Specified Reinforcement Learning Tasks Xiao Li Yao Ma C. Belta 59 59 0 27 Sep 2017
Proximal Policy Optimization Algorithms John Schulman Filip Wolski Prafulla Dhariwal Alec Radford Oleg Klimov OffRL 523 19,237 0 20 Jul 2017
Gated-Attention Architectures for Task-Oriented Language Grounding Devendra Singh Chaplot Kanthashree Mysore Sathyendra Rama Kumar Pasumarthi Dheeraj Rajagopal Ruslan Salakhutdinov LM&Ro 53 279 0 22 Jun 2017
Grounded Language Learning in a Simulated 3D World Karl Moritz Hermann Felix Hill Simon Green Fumin Wang Ryan Faulkner ... Denis Teplyashin Marcus Wainwright C. Apps Demis Hassabis Phil Blunsom LM&Ro 59 306 0 20 Jun 2017
Programmable Agents Misha Denil Sergio Gomez Colmenarejo Serkan Cabi D. Saxton Nando de Freitas AI4CE 81 42 0 20 Jun 2017
Zero-Shot Task Generalization with Multi-Task Deep Reinforcement Learning Junhyuk Oh Satinder Singh Honglak Lee Pushmeet Kohli OffRL 140 269 0 15 Jun 2017
Environment-Independent Task Specifications via GLTL Michael L. Littman Ufuk Topcu Jie Fu Charles Isbell Min Wen J. MacGlashan 63 146 0 14 Apr 2017
Modeling Relational Data with Graph Convolutional Networks Michael Schlichtkrull Thomas Kipf Peter Bloem Rianne van den Berg Ivan Titov Max Welling GNN 191 4,828 0 17 Mar 2017
Reinforcement Learning With Temporal Logic Rewards Xiao Li C. Vasile C. Belta 66 219 0 11 Dec 2016
Modular Multitask Reinforcement Learning with Policy Sketches Jacob Andreas Dan Klein Sergey Levine OffRL 147 463 0 06 Nov 2016