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

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

2 March 2020

Abolfazl Lavaei

Sadegh Soudjani

Ashutosh Trivedi

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

10 / 10 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
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 34 18 0 20 Feb 2024
Assume-Guarantee Reinforcement Learning M. Kazemi Mateo Perez F. Somenzi Sadegh Soudjani Ashutosh Trivedi Alvaro Velasquez OffRL 17 1 0 15 Dec 2023
Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications Jun Wang Hosein Hasanbeig Kaiyuan Tan Zihe Sun Y. Kantaros 32 3 0 28 Nov 2023
Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces Hanna Krasowski Prithvi Akella Aaron D. Ames Matthias Althoff 23 2 0 12 Dec 2022
Accelerated Reinforcement Learning for Temporal Logic Control Objectives Y. Kantaros 16 11 0 09 May 2022
Secure-by-Construction Synthesis of Cyber-Physical Systems Siyuan Liu Ashutosh Trivedi Xiang Yin Majid Zamani 3DV 30 43 0 14 Feb 2022
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
Data-Driven Verification under Signal Temporal Logic Constraints Ali Salamati Sadegh Soudjani Majid Zamani 17 13 0 08 May 2020
Continuous Motion Planning with Temporal Logic Specifications using Deep Neural Networks Chuanzhen Wang Yinan Li Stephen L. Smith Jun Liu 20 17 0 02 Apr 2020