Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning

2 March 2020

Papers citing "Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning"

5 / 5 papers shown

Title
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 12 3 0 28 Nov 2023
Accelerated Reinforcement Learning for Temporal Logic Control Objectives Y. Kantaros 9 11 0 09 May 2022
Secure-by-Construction Synthesis of Cyber-Physical Systems Siyuan Liu Ashutosh Trivedi Xiang Yin Majid Zamani 3DV 14 43 0 14 Feb 2022
Continuous Motion Planning with Temporal Logic Specifications using Deep Neural Networks Chuanzhen Wang Yinan Li Stephen L. Smith Jun Liu 9 17 0 02 Apr 2020