most citedMission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications

2 citations · 2 across the 2 of their papers we have counts for

collaborators

2 papers

cs.RO2023

Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks

Jun Wang, Haojun Chen, Zihe Sun +1

Several methods have been proposed recently to learn neural network (NN) controllers for autonomous agents, with unknown and stochastic dynamics, tasked with complex missions captu…

cs.RO2023★ 2 cited

Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications

Jun Wang, Hosein Hasanbeig, Kaiyuan Tan +2

This paper addresses the problem of designing control policies for agents with unknown stochastic dynamics and control objectives specified using Linear Temporal Logic (LTL). Recen…