Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments from Temporal Logic Specifications
Not on the map. Why?
Abstract (arXiv)
Model-free continuous control for robot navigation tasks using Deep Reinforcement Learning (DRL) that relies on noisy policies for exploration is sensitive to the density of rewards. In practice, robots are usually deployed in cluttered environments, containing many obstacles and narrow passageways. Designing dense effective rewards is challenging, resulting in exploration issues during training. Such a problem becomes even more serious when tasks are described using temporal logic specifications. This work presents a deep policy gradient algorithm for controlling a robot with unknown dynamics operating in a cluttered environment when the task is specified as a Linear Temporal Logic (LTL) formula. To overcome the environmental challenge of exploration during training, we propose a novel path planning-guided reward scheme by integrating sampling-based methods to effectively complete goal-reaching missions. To facilitate LTL satisfaction, our approach decomposes the LTL mission into sub-goal-reaching tasks that are solved in a distributed manner. Our framework is shown to significantly improve performance (effectiveness, efficiency) and exploration of robots tasked with complex missions in large-scale cluttered environments. A video demonstration can be found on YouTube Channel: https://youtu.be/yMh_NUNWxho.
Key facts. Cited by 11 papers in the map (data through 7 Oct 2026). Builds on 20 of its 42 references that are in the map. First posted on arXiv 28 Jan 2022.
Builds on
20 of 42 references.
References · 20
- 2017Proximal Policy Optimization Algorithmscited by 14,441
- 2018Soft Actor-Critic: Off-Policy Maximum Entropy Deep Reinforcement Learning with a Stochastic Actorcited by 4,635
- 2015Continuous control with deep reinforcement learningcited by 3,279
- 2015Trust Region Policy Optimizationcited by 2,503
- 2017Multi-Agent Actor-Critic for Mixed Cooperative-Competitive Environmentscited by 1,519
- 2018Off-Policy Deep Reinforcement Learning without Explorationcited by 1,227
- 2017Overcoming Exploration in Reinforcement Learning with Demonstrationscited by 322
- 2017Leveraging Demonstrations for Deep Reinforcement Learning on Robotics Problems with Sparse Rewardscited by 302
- 2020Reward Machines: Exploiting Reward Function Structure in Reinforcement Learningcited by 183
- 2021Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functionscited by 91
- 2017Towards Optimally Decentralized Multi-Robot Collision Avoidance via Deep Reinforcement Learningcited by 81
- 2021LTL2Action: Generalizing LTL Instructions for Multi-Task RLcited by 72
8 more
- 2019Joint Inference of Reward Machines and Policies for Reinforcement Learningcited by 56
- 2015Control Contraction Metrics: Convex and Intrinsic Criteria for Nonlinear Feedback Designcited by 38
- 2021Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logiccited by 38
- 2018STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systemscited by 24
- 2022Learning Safe, Generalizable Perception-based Hybrid Control with Certificatescited by 24
- 2019An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesiscited by 11
- 2019Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specificationscited by 8
- 2019DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learningcited by 8
Built on by
Citing papers per year: 2022: 2; 2023: 2; 2024: 4; 2025: 1; 2026: 2.
11 papers.
- 2023LgTS: Dynamic Task Sampling using LLM-generated sub-goals for Reinforcement Learning Agentscited by 11
- 2022Exploiting Transformer in Sparse Reward Reinforcement Learning for Interpretable Temporal Logic Motion Planningcited by 10
- 2022Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specificationscited by 5
- 2024Adaptive Reward Design for Reinforcement Learningcited by 5
- 2024Robust Imitation Learning for Automated Game Testingcited by 4
- 2023Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specificationscited by 3
- 2024Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Explorationcited by 3
- 2026PlatoLTL: Scaling LTL-Guided Multi-Task RLcited by 2
- 2024Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewardscited by 1
- 2025Accelerated Learning with Linear Temporal Logic using Differentiable Simulationcited by 1
- 2026SpecRLBench: A Benchmark for Generalization in Specification-Guided Reinforcement Learningcited by 1
- 2026SpecRLBench: A Benchmark for Generalization in Specification-Guided Reinforcement Learning27 Apr 2026
- 2026PlatoLTL: Scaling LTL-Guided Multi-Task RL30 Jan 2026
- 2025Accelerated Learning with Linear Temporal Logic using Differentiable Simulation1 Jun 2025
- 2024Adaptive Reward Design for Reinforcement Learning14 Dec 2024
- 2024Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards26 Nov 2024
- 2024Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration16 Oct 2024
- 2024Robust Imitation Learning for Automated Game Testing9 Jan 2024
- 2023Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications28 Nov 2023
- 2023LgTS: Dynamic Task Sampling using LLM-generated sub-goals for Reinforcement Learning Agents14 Oct 2023
- 2022Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications3 Oct 2022
- 2022Exploiting Transformer in Sparse Reward Reinforcement Learning for Interpretable Temporal Logic Motion Planning27 Sep 2022