3 citations · 9 across the 8 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.LG2023★ 3 cited
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis
Rohan Mitta, Hosein Hasanbeig, Jun Wang +3
This paper addresses the problem of maintaining safety during training in Reinforcement Learning (RL), such that the safety constraint violations are bounded at any point during le…
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…