Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic

24 February 2021

Mingyu Cai

Mohammadhosein Hasanbeig

Papers citing "Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic"

23 / 23 papers shown

Title
Bridging Deep Reinforcement Learning and Motion Planning for Model-Free Navigation in Cluttered Environments Licheng Luo Mingyu Cai 59 0 0 09 Apr 2025
DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL Mathias Jackermeier Alessandro Abate OffRL 65 1 0 06 Oct 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 Based Temporal Logic Control with Maximum Probabilistic Satisfaction Mingyu Cai Shaoping Xiao Baoluo Li Zhiliang Li Z. Kan 34 34 0 14 Oct 2020
Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning Milad Kazemi Sadegh Soudjani 51 29 0 04 May 2020
Continuous Motion Planning with Temporal Logic Specifications using Deep Neural Networks Chuanzhen Wang Yinan Li Stephen L. Smith Jun Liu 38 17 0 02 Apr 2020
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning Abolfazl Lavaei Fabio Somenzi Sadegh Soudjani Ashutosh Trivedi Majid Zamani 92 53 0 02 Mar 2020
Cautious Reinforcement Learning with Logical Constraints Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening 26 75 0 26 Feb 2020
Tractable Reinforcement Learning of Signal Temporal Logic Objectives Harish K. Venkataraman Derya Aksaray Peter M. Seiler OffRL 24 25 0 26 Jan 2020
Learning Non-Markovian Reward Models in MDPs Gavin Rens Jean-François Raskin 25 12 0 25 Jan 2020
Active Task-Inference-Guided Deep Inverse Reinforcement Learning F. Memarian Zhe Xu Bo Wu Min Wen Ufuk Topcu 23 26 0 24 Jan 2020
Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata Ryohei Oura Ami Sakakibara T. Ushio 17 28 0 14 Jan 2020
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning Mohammadhosein Hasanbeig N. Jeppu Alessandro Abate T. Melham Daniel Kroening 29 20 0 22 Nov 2019
Modular Deep Reinforcement Learning with Temporal Logic Specifications Li-xin Yuan Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening OffRL 30 40 0 23 Sep 2019
Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning A. Bozkurt Yu Wang Michael M. Zavlanos Miroslav Pajic 37 124 0 16 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
Certified Reinforcement Learning with Logic Guidance Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 60 54 0 02 Feb 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
Logically-Constrained Neural Fitted Q-Iteration Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening 32 41 0 20 Sep 2018
Logically-Constrained Reinforcement Learning Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening 23 82 0 24 Jan 2018
Continuous control with deep reinforcement learning Timothy Lillicrap Jonathan J. Hunt Alexander Pritzel N. Heess Tom Erez Yuval Tassa David Silver Daan Wierstra 191 13,174 0 09 Sep 2015
Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints Jie Fu Ufuk Topcu 44 176 0 28 Apr 2014
Temporal Logic Motion Control using Actor-Critic Methods X. Ding Jing Wang Morteza Lahijanian I. Paschalidis C. Belta 53 38 0 10 Feb 2012