Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning

4 May 2020

Papers citing "Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning"

5 / 5 papers shown

Title
DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL Mathias Jackermeier Alessandro Abate OffRL 43 1 0 06 Oct 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 37 18 0 20 Feb 2024
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 22 13 0 08 May 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