Continuous Motion Planning with Temporal Logic Specifications using Deep
Neural Networks

Continuous Motion Planning with Temporal Logic Specifications using Deep Neural Networks

2 April 2020

Stephen L. Smith

Papers citing "Continuous Motion Planning with Temporal Logic Specifications using Deep Neural Networks"

10 / 10 papers shown

Title
Directed Exploration in Reinforcement Learning from Linear Temporal Logic Marco Bagatella Andreas Krause Georg Martius OffRL 33 1 0 18 Aug 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
Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications Jun Wang Hosein Hasanbeig Kaiyuan Tan Zihe Sun Y. Kantaros 35 3 0 28 Nov 2023
Eventual Discounting Temporal Logic Counterfactual Experience Replay Cameron Voloshin Abhinav Verma Yisong Yue OffRL 26 11 0 03 Mar 2023
Accelerated Reinforcement Learning for Temporal Logic Control Objectives Y. Kantaros 16 11 0 09 May 2022
Non-Parametric Neuro-Adaptive Control Subject to Task Specifications Christos K. Verginis Zhe Xu Ufuk Topcu 23 4 0 25 Jun 2021
Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks Wenliang Liu Mirai Nishioka C. Belta 35 5 0 29 Mar 2021
Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic Mingyu Cai Mohammadhosein Hasanbeig Shaoping Xiao Alessandro Abate Z. Kan 80 86 0 24 Feb 2021
Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction Mingyu Cai Shaoping Xiao Baoluo Li Zhiliang Li Z. Kan 14 33 0 14 Oct 2020
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning Abolfazl Lavaei F. Somenzi Sadegh Soudjani Ashutosh Trivedi Majid Zamani 63 52 0 02 Mar 2020