activity
20212026
most citedScalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis

4 citations · 12 across the 16 of their papers we have counts for

collaborators

16 papers

cs.LG2026

Augmented Lagrangian Multiplier Network for State-wise Safety in Reinforcement Learning

Jiaming Zhang, Yujie Yang, Yao Lyu +2

Safety is a primary challenge in real-world reinforcement learning (RL). Formulating safety requirements as state-wise constraints has become a prominent paradigm. Handling state-w…

cs.LG2026

On the Equilibrium between Feasible Zone and Uncertain Model in Safe Exploration

Yujie Yang, Zhilong Zheng, Shengbo Eben Li

Ensuring the safety of environmental exploration is a critical problem in reinforcement learning (RL). While limiting exploration to a feasible zone has become widely accepted as a…

cs.LG2025

Exchange Policy Optimization Algorithm for Semi-Infinite Safe Reinforcement Learning

Jiaming Zhang, Yujie Yang, Haoning Wang +2

Safe reinforcement learning (RL) aims to optimize long-term performance while adhering to safety requirements. However, many practical applications involve an infinite number of co…

cs.LG2025

Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks

Jiaxing Li, Hanjiang Hu, Yujie Yang +1

Recent learning-based safety filters have outperformed conventional methods, such as hand-crafted Control Barrier Functions (CBFs), by effectively adapting to complex constraints.…

cs.RO2024

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation

Hanjiang Hu, Yujie Yang, Tianhao Wei +1

Control barrier functions (CBFs) are important in safety-critical systems and robot control applications. Neural networks have been used to parameterize and synthesize CBFs with bo…

eess.SY2024★ 4 cited

Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis

Yujie Yang, Hanjiang Hu, Tianhao Wei +2

Hamilton-Jacobi (HJ) reachability analysis provides a formal method for guaranteeing safety in constrained control problems. It synthesizes a value function to represent a long-ter…

cs.LG2024

Rocket Landing Control with Random Annealing Jump Start Reinforcement Learning

Yuxuan Jiang, Yujie Yang, Zhiqian Lan +6

Rocket recycling is a crucial pursuit in aerospace technology, aimed at reducing costs and environmental impact in space exploration. The primary focus centers on rocket landing co…

eess.SY2024

Controllability Test for Nonlinear Datatic Systems

Yujie Yang, Letian Tao, Likun Wang +1

Controllability is a fundamental property of control systems, serving as the prerequisite for controller design. While controllability test is well established in modelic (i.e., mo…

eess.SY2024

The Feasibility Theory of Constrained Reinforcement Learning: A Tutorial Study

Yujie Yang, Zhilong Zheng, Masayoshi Tomizuka +2

Satisfying safety constraints is a priority concern when solving optimal control problems (OCPs). Due to the existence of infeasibility phenomenon, where a constraint-satisfying so…

cs.LG2024

Policy Bifurcation in Safe Reinforcement Learning

Wenjun Zou, Yao Lyu, Jie Li +7

Safe reinforcement learning (RL) offers advanced solutions to constrained optimal control problems. Existing studies in safe RL implicitly assume continuity in policy functions, wh…

eess.SY2024★ 1 cited

On the Stability of Datatic Control Systems

Yujie Yang, Zhilong Zheng, Shengbo Eben Li

The development of feedback controllers is undergoing a paradigm shift from (model-driven) control to (data-driven) control. Stability, as a f…

cs.LG2024★ 3 cited

Safe Offline Reinforcement Learning with Feasibility-Guided Diffusion Model

Yinan Zheng, Jianxiong Li, Dongjie Yu +4

Safe offline RL is a promising way to bypass risky online interactions towards safe policy learning. Most existing methods only enforce soft constraints, i.e., constraining safety…

cs.LG2023

Safe Reinforcement Learning with Dual Robustness

Zeyang Li, Chuxiong Hu, Yunan Wang +2

Reinforcement learning (RL) agents are vulnerable to adversarial disturbances, which can deteriorate task performance or compromise safety specifications. Existing methods either a…

cs.LG2023★ 2 cited

Feasible Policy Iteration for Safe Reinforcement Learning

Yujie Yang, Zhilong Zheng, Shengbo Eben Li +4

Safety is the priority concern when applying reinforcement learning (RL) algorithms to real-world control problems. While policy iteration provides a fundamental algorithm for stan…

cs.RO2022★ 2 cited

Safe Model-Based Reinforcement Learning with an Uncertainty-Aware Reachability Certificate

Dongjie Yu, Wenjun Zou, Yujie Yang +4

Safe reinforcement learning (RL) that solves constraint-satisfactory policies provides a promising way to the broader safety-critical applications of RL in real-world problems such…

cs.LG2021

Steadily Learn to Drive with Virtual Memory

Yuhang Zhang, Yao Mu, Yujie Yang +4

Reinforcement learning has shown great potential in developing high-level autonomous driving. However, for high-dimensional tasks, current RL methods suffer from low data efficienc…