LTL2Action: Generalizing LTL Instructions for Multi-Task RL
Not on the map. Why?
Cited by 33 in Deep reinforcement learning methods, but placed by its own abstract, which didn’t fit.
Abstract (arXiv)
We address the problem of teaching a deep reinforcement learning (RL) agent to follow instructions in multi-task environments. Instructions are expressed in a well-known formal language -- linear temporal logic (LTL) -- and can specify a diversity of complex, temporally extended behaviours, including conditionals and alternative realizations. Our proposed learning approach exploits the compositional syntax and the semantics of LTL, enabling our RL agent to learn task-conditioned policies that generalize to new instructions, not observed during training. To reduce the overhead of learning LTL semantics, we introduce an environment-agnostic LTL pretraining scheme which improves sample-efficiency in downstream environments. Experiments on discrete and continuous domains target combinatorial task sets of up to ~1039 unique tasks and demonstrate the strength of our approach in learning to solve (unseen) tasks, given LTL instructions.
Key facts. Cited by 74 papers in the map (data through 14 Oct 2026). Builds on 33 of its 62 references that are in the map. First posted on arXiv 13 Feb 2021.
Builds on
33 of 62 references.
References · 33
- 2017Proximal Policy Optimization Algorithmscited by 15,215
- 2017Modeling Relational Data with Graph Convolutional Networkscited by 1,694
- 2018Quantifying Generalization in Reinforcement Learningcited by 352
- 2017Learning to Represent Programs with Graphscited by 220
- 2016Modular Multitask Reinforcement Learning with Policy Sketchescited by 203
- 2018Learning a SAT Solver from Single-Bit Supervisioncited by 200
- 2020Reward Machines: Exploiting Reward Function Structure in Reinforcement Learningcited by 191
- 2019A Survey of Reinforcement Learning Informed by Natural Languagecited by 154
- 2019Language as an Abstraction for Hierarchical Deep Reinforcement Learningcited by 138
- 2016Reinforcement Learning With Temporal Logic Rewardscited by 117
- 2017Grounded Language Learning in a Simulated 3D Worldcited by 100
- 2019Compositional generalization through meta sequence-to-sequence learningcited by 99
21 more
- 2017Zero-Shot Task Generalization with Multi-Task Deep Reinforcement Learningcited by 98
- 2018Learning to Understand Goal Specifications by Modelling Rewardcited by 80
- 2017Neural Task Programming: Learning to Generalize Across Hierarchical Taskscited by 76
- 2017Gated-Attention Architectures for Task-Oriented Language Groundingcited by 72
- 2020A Composable Specification Language for Reinforcement Learning Taskscited by 69
- 2016Q-Learning for Robust Satisfaction of Signal Temporal Logic Specificationscited by 67
- 2017Environment-Independent Task Specifications via GLTLcited by 67
- 2020Grounded Language Learning Fast and Slowcited by 54
- 2018Logically-Constrained Reinforcement Learningcited by 51
- 2018Hierarchical Reinforcement Learning for Zero-shot Generalization with Subtask Dependenciescited by 43
- 2020Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulascited by 36
- 2019Transfer of Temporal Logic Formulas in Reinforcement Learningcited by 31
- 2019Modular Deep Reinforcement Learning with Temporal Logic Specificationscited by 25
- 2020Learning a natural-language to LTL executable semantic parser for grounded roboticscited by 22
- 2018Interactive Grounded Language Acquisition and Generalization in a 2D Worldcited by 21
- 2020Systematic Generalisation through Task Temporal Logic and Deep Reinforcement Learningcited by 21
- 2017A Policy Search Method For Temporal Logic Specified Reinforcement Learning Taskscited by 20
- 2017Programmable Agentscited by 14
- 2017Interpretable Apprenticeship Learning with Temporal Logic Specificationscited by 13
- 2019Planning With Uncertain Specifications (PUnS)cited by 11
- 2020Learning Branching Heuristics for Propositional Model Countingcited by 9
Built on by
Citing papers per year: 2021: 2; 2022: 15; 2023: 9; 2024: 15; 2025: 13; 2026: 20.
74 papers.
Sort:
By area:
- 2021Compositional Reinforcement Learning from Logical Specificationscited by 67
- 2023Creative Agents: Empowering Agents with Imagination for Creative Taskscited by 24
- 2024DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RLcited by 21
- 2022Policy Optimization with Linear Temporal Logic Constraintscited by 19
- 2023Eventual Discounting Temporal Logic Counterfactual Experience Replaycited by 19
- 2024Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learningcited by 19
- 2023Constraint-Conditioned Policy Optimization for Versatile Safe Reinforcement Learningcited by 18
- 2021In a Nutshell, the Human Asked for This: Latent Goals for Following Temporal Specificationscited by 17
- 2025General agents contain world modelscited by 17
- 2024LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-based Planningcited by 16
- 2023Compositional Policy Learning in Stochastic Control Systems with Formal Guaranteescited by 14
- 2024BlendRL: A Framework for Merging Symbolic and Neural Policy Learningcited by 14
38 more
- 2022Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments from Temporal Logic Specificationscited by 12
- 2022Learning to Follow Instructions in Text-Based Gamescited by 12
- 2024LTL-Constrained Policy Optimization with Cycle Experience Replaycited by 11
- 2024Reward Machines for Deep RL in Noisy and Uncertain Environmentscited by 11
- 2022Exploiting Transformer in Sparse Reward Reinforcement Learning for Interpretable Temporal Logic Motion Planningcited by 10
- 2022Noisy Symbolic Abstractions for Deep RL: A case study with Reward Machinescited by 10
- 2022Skill Machines: Temporal Logic Skill Composition in Reinforcement Learningcited by 9
- 2022Deep reinforcement learning under signal temporal logic constraints using Lagrangian relaxationcited by 8
- 2025One Subgoal at a Time: Zero-Shot Generalization to Arbitrary Linear Temporal Logic Requirements in Multi-Task Reinforcement Learningcited by 8
- 2024Neural Reward Machinescited by 7
- 2024Directed Exploration in Reinforcement Learning from Linear Temporal Logiccited by 7
- 2024Diffusion Meets Options: Hierarchical Generative Skill Composition for Temporally-Extended Taskscited by 7
- 2023Exploiting Contextual Structure to Generate Useful Auxiliary Taskscited by 6
- 2025Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learningcited by 6
- 2025TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Taskscited by 6
- 2022Categorical semantics of compositional reinforcement learningcited by 5
- 2023Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Surveycited by 5
- 2025Ground-Compose-Reinforce: Grounding Language in Agentic Behaviours using Limited Datacited by 5
- 2022Challenges to Solving Combinatorially Hard Long-Horizon Deep RL Taskscited by 4
- 2023Robust Subtask Learning for Compositional Generalizationcited by 4
- 2024Planning with a Learned Policy Basis to Optimally Solve Complex Taskscited by 4
- 2024Guiding Multi-agent Multi-task Reinforcement Learning by a Hierarchical Framework with Logical Reward Shapingcited by 4
- 2023Simple Embodied Language Learning as a Byproduct of Meta-Reinforcement Learningcited by 3
- 2024Inductive Generalization in Reinforcement Learning from Specificationscited by 3
- 2024Exploiting Hybrid Policy in Reinforcement Learning for Interpretable Temporal Logic Manipulationcited by 3
- 2025Learning Reward Machines from Partially Observed Policiescited by 3
- 2025Beyond Sliding Windows: Learning to Manage Memory in Non-Markovian Environmentscited by 3
- 2026Formal Methods Meet LLMs: Auditing, Monitoring, and Intervention for Compliance of Advanced AI Systemscited by 3
- 2022Leveraging class abstraction for commonsense reinforcement learning via residual policy gradient methodscited by 2
- 2022Safety-Constrained Policy Transfer with Successor Featurescited by 2
- 2025Automaton Constrained Q-Learningcited by 2
- 2025Beyond Fixed Tasks: Unsupervised Environment Design for Task-Level Pairscited by 2
- 2026PlatoLTL: Scaling LTL-Guided Multi-Task RLcited by 2
- 2026Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructionscited by 2
- 2026WeaveLA: Event Driven Cross-Subtask Latent Memory Weaving for Repetitive Robot Manipulationcited by 2
- 2022Goal-Conditioned Q-Learning as Knowledge Distillationcited by 1
- 2022Generalizing LTL Instructions via Future Dependent Optionscited by 1
- 2022Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networkscited by 1
50 most cited of 74 All 74 (JSON)
- 2026Jaxolotl: A Unified High-Performance Benchmark Suite for LTL-Based Multi-Task RL29 Sep 2026
- 2026Learning Robot Policies from Sparse Success Signals via STL-Guided Stein Variational Policy Gradient25 Sep 2026
- 2026Generalizable Multi-Agent Planning from Signal Temporal Logic Specifications via Diffusion30 Aug 2026
- 2026Temporal Logic Guided Universal Task Representations for Reinforcement Learning16 Aug 2026
- 2026WeaveLA: Event Driven Cross-Subtask Latent Memory Weaving for Repetitive Robot Manipulation16 Jun 2026
- 2026A Goal-Set Characterization of Task Composition in the Boolean Task Algebra2 Jun 2026
- 2026Goal-Conditioned Agents that Learn Everything All at Once22 May 2026
- 2026Formal Methods Meet LLMs: Auditing, Monitoring, and Intervention for Compliance of Advanced AI Systems15 May 2026
- 2026Learning Bilevel Policies over Symbolic World Models for Long-Horizon Planning15 May 2026
- 2026Controllability in preference-conditioned multi-objective reinforcement learning11 May 2026
- 2026SpecRLBench: A Benchmark for Generalization in Specification-Guided Reinforcement Learning27 Apr 2026
- 2026Live LTL Progress Tracking: Towards Task-Based Exploration18 Apr 2026
38 more
- 2026On Tackling Complex Tasks with Reward Machines and Signal Temporal Logics9 Apr 2026
- 2026Integrating LTL Constraints into PPO for Safe Reinforcement Learning1 Mar 2026
- 2026Zero-Shot Instruction Following in RL via Structured LTL Representations15 Feb 2026
- 2026Grounding LTL Tasks in Sub-Symbolic RL Environments for Zero-Shot Generalization10 Feb 2026
- 2026Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions6 Feb 2026
- 2026DeepDFA: Injecting Temporal Logic in Deep Learning for Sequential Subsymbolic Applications3 Feb 2026
- 2026Probabilistic Performance Guarantees for Multi-Task Reinforcement Learning2 Feb 2026
- 2026PlatoLTL: Scaling LTL-Guided Multi-Task RL30 Jan 2026
- 2025Beyond Sliding Windows: Learning to Manage Memory in Non-Markovian Environments22 Dec 2025
- 2025Zero-Shot Instruction Following in RL via Structured LTL Representations2 Dec 2025
- 2025Automating the Refinement of Reinforcement Learning Specifications30 Nov 2025
- 2025Beyond Fixed Tasks: Unsupervised Environment Design for Task-Level Pairs16 Nov 2025
- 2025Automata-Conditioned Cooperative Multi-Agent Reinforcement Learning4 Nov 2025
- 2025Automaton Constrained Q-Learning6 Oct 2025
- 2025TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks30 Sep 2025
- 2025One Subgoal at a Time: Zero-Shot Generalization to Arbitrary Linear Temporal Logic Requirements in Multi-Task Reinforcement Learning3 Aug 2025
- 2025Ground-Compose-Reinforce: Grounding Language in Agentic Behaviours using Limited Data14 Jul 2025
- 2025General agents contain world models2 Jun 2025
- 2025Learning with Expert Abstractions for Efficient Multi-Task Continuous Control19 Mar 2025
- 2025Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning6 Mar 2025
- 2025Learning Reward Machines from Partially Observed Policies6 Feb 2025
- 2024Exploiting Hybrid Policy in Reinforcement Learning for Interpretable Temporal Logic Manipulation29 Dec 2024
- 2024Guiding Multi-agent Multi-task Reinforcement Learning by a Hierarchical Framework with Logical Reward Shaping2 Nov 2024
- 2024Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning31 Oct 2024
- 2024BlendRL: A Framework for Merging Symbolic and Neural Policy Learning15 Oct 2024
- 2024Generalization of Compositional Tasks with Logical Specification via Implicit Planning13 Oct 2024
- 2024DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL6 Oct 2024
- 2024Diffusion Meets Options: Hierarchical Generative Skill Composition for Temporally-Extended Tasks3 Oct 2024
- 2024Directed Exploration in Reinforcement Learning from Linear Temporal Logic18 Aug 2024
- 2024Neural Reward Machines16 Aug 2024
- 2024Inductive Generalization in Reinforcement Learning from Specifications5 Jun 2024
- 2024Reward Machines for Deep RL in Noisy and Uncertain Environments31 May 2024
- 2024Belief-State Query Policies for User-Aligned POMDPs24 May 2024
- 2024LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-based Planning7 May 2024
- 2024LTL-Constrained Policy Optimization with Cycle Experience Replay17 Apr 2024
- 2024Planning with a Learned Policy Basis to Optimally Solve Complex Tasks22 Mar 2024
- 2023Creative Agents: Empowering Agents with Imagination for Creative Tasks5 Dec 2023
- 2023Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees3 Dec 2023
50 newest of 74 All 74 (JSON)
- 2024DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RLcited by 21
- 2024Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learningcited by 19
- 2024LTL-Constrained Policy Optimization with Cycle Experience Replaycited by 11
- 2024Reward Machines for Deep RL in Noisy and Uncertain Environmentscited by 11
- 2025One Subgoal at a Time: Zero-Shot Generalization to Arbitrary Linear Temporal Logic Requirements in Multi-Task Reinforcement Learningcited by 8
- 2024Neural Reward Machinescited by 7
- 2024Directed Exploration in Reinforcement Learning from Linear Temporal Logiccited by 7
- 2025Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learningcited by 6
- 2024Planning with a Learned Policy Basis to Optimally Solve Complex Taskscited by 4
- 2024Inductive Generalization in Reinforcement Learning from Specificationscited by 3
- 2024Exploiting Hybrid Policy in Reinforcement Learning for Interpretable Temporal Logic Manipulationcited by 3
- 2025Automaton Constrained Q-Learningcited by 2
12 most cited of 32 All 32 (JSON)
- 2026Jaxolotl: A Unified High-Performance Benchmark Suite for LTL-Based Multi-Task RL29 Sep 2026
- 2026Learning Robot Policies from Sparse Success Signals via STL-Guided Stein Variational Policy Gradient25 Sep 2026
- 2026Temporal Logic Guided Universal Task Representations for Reinforcement Learning16 Aug 2026
- 2026A Goal-Set Characterization of Task Composition in the Boolean Task Algebra2 Jun 2026
- 2026Goal-Conditioned Agents that Learn Everything All at Once22 May 2026
- 2026Controllability in preference-conditioned multi-objective reinforcement learning11 May 2026
- 2026SpecRLBench: A Benchmark for Generalization in Specification-Guided Reinforcement Learning27 Apr 2026
- 2026Live LTL Progress Tracking: Towards Task-Based Exploration18 Apr 2026
- 2026On Tackling Complex Tasks with Reward Machines and Signal Temporal Logics9 Apr 2026
- 2026Integrating LTL Constraints into PPO for Safe Reinforcement Learning1 Mar 2026
- 2026Zero-Shot Instruction Following in RL via Structured LTL Representations15 Feb 2026
- 2026Grounding LTL Tasks in Sub-Symbolic RL Environments for Zero-Shot Generalization10 Feb 2026
12 newest of 32 All 32 (JSON)
- 2025General agents contain world modelscited by 17
- 2026Learning Bilevel Policies over Symbolic World Models for Long-Horizon Planningcited by 0
- 2026Learning Bilevel Policies over Symbolic World Models for Long-Horizon Planning15 May 2026
- 2025General agents contain world models2 Jun 2025
- 2022Goal-Conditioned Q-Learning as Knowledge Distillationcited by 1
- 2022Goal-Conditioned Q-Learning as Knowledge Distillation28 Aug 2022
- 2021Compositional Reinforcement Learning from Logical Specificationscited by 67
- 2022Policy Optimization with Linear Temporal Logic Constraintscited by 19
- 2023Eventual Discounting Temporal Logic Counterfactual Experience Replaycited by 19
- 2023Constraint-Conditioned Policy Optimization for Versatile Safe Reinforcement Learningcited by 18
- 2021In a Nutshell, the Human Asked for This: Latent Goals for Following Temporal Specificationscited by 17
- 2024LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-based Planningcited by 16
- 2023Compositional Policy Learning in Stochastic Control Systems with Formal Guaranteescited by 14
- 2022Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments from Temporal Logic Specificationscited by 12
- 2022Learning to Follow Instructions in Text-Based Gamescited by 12
- 2022Exploiting Transformer in Sparse Reward Reinforcement Learning for Interpretable Temporal Logic Motion Planningcited by 10
- 2022Noisy Symbolic Abstractions for Deep RL: A case study with Reward Machinescited by 10
- 2022Skill Machines: Temporal Logic Skill Composition in Reinforcement Learningcited by 9
12 most cited of 34 All 34 (JSON)
- 2026Generalizable Multi-Agent Planning from Signal Temporal Logic Specifications via Diffusion30 Aug 2026
- 2026Formal Methods Meet LLMs: Auditing, Monitoring, and Intervention for Compliance of Advanced AI Systems15 May 2026
- 2026DeepDFA: Injecting Temporal Logic in Deep Learning for Sequential Subsymbolic Applications3 Feb 2026
- 2025Beyond Sliding Windows: Learning to Manage Memory in Non-Markovian Environments22 Dec 2025
- 2025Automata-Conditioned Cooperative Multi-Agent Reinforcement Learning4 Nov 2025
- 2025TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks30 Sep 2025
- 2024Guiding Multi-agent Multi-task Reinforcement Learning by a Hierarchical Framework with Logical Reward Shaping2 Nov 2024
- 2024Diffusion Meets Options: Hierarchical Generative Skill Composition for Temporally-Extended Tasks3 Oct 2024
- 2024Belief-State Query Policies for User-Aligned POMDPs24 May 2024
- 2024LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-based Planning7 May 2024
- 2023Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees3 Dec 2023
- 2023Constraint-Conditioned Policy Optimization for Versatile Safe Reinforcement Learning5 Oct 2023
12 newest of 34 All 34 (JSON)