DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning

22 November 2019

Papers citing "DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning"

8 / 8 papers shown

Title
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
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 31 15 0 21 Sep 2022
Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments from Temporal Logic Specifications Mingyu Cai Erfan Aasi C. Belta C. Vasile 32 24 0 28 Jan 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
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments Yichen Yang J. Inala Osbert Bastani Yewen Pu Armando Solar-Lezama Martin Rinard 42 12 0 22 Feb 2021
Rectifying Pseudo Label Learning via Uncertainty Estimation for Domain Adaptive Semantic Segmentation Zhedong Zheng Yi Yang NoLa 191 497 0 08 Mar 2020
SegSort: Segmentation by Discriminative Sorting of Segments Jyh-Jing Hwang Stella X. Yu Jianbo Shi Maxwell D. Collins Tien-Ju Yang Xiao Zhang Liang-Chieh Chen 183 148 0 15 Oct 2019
Certified Reinforcement Learning with Logic Guidance Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 21 53 0 02 Feb 2019