Model Predictive Control with Reach-avoid Analysis. - Dejin Ren; Wanli Lu; Jidong Lv; Lijun Zhang 001; Bai Xue 001 (IJCAI, 2023)

Safety Verification for Neural Networks Based on Set-Boundary Analysis. - Zhen Liang; Dejin Ren; Wanwei Liu; Ji Wang 001; Wenjing Yang 002; Bai Xue 001 (TASE, 2023)

An Iterative Method for Computing Controlled Reach-Avoid Sets. - Dejin Ren; Taoran Wu; Bai Xue 001 (ACC, 2024)

Reach-Avoid Analysis for Sampled-Data Systems with Measurement Uncertainties. - Taoran Wu; Dejin Ren; Shuyuan Zhang 001; Lei Wang 055; Bai Xue 001 (ACC, 2024)

Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis. - Dejin Ren; Zhen Liang; Chenyu Wu; Jianqiang Ding; Taoran Wu; Bai Xue 001 (CAV (3), 2024)

Verifying safety of neural networks from topological perspectives. - Zhen Liang; Dejin Ren; Bai Xue 001; Ji Wang 001; Wenjing Yang 002; Wanwei Liu (Sci. Comput. Program., 2024)

Convex Computations for Controlled Safety Invariant Sets of Black-box Discrete-time Dynamical Systems. - Taoran Wu; Yiling Xue; Jingduo Pan; Dejin Ren; Arvind Easwaran; Bai Xue 001 (CoRR, 2025)

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization. - Taoran Wu; Yiling Xue; Dejin Ren; Arvind Easwaran; Martin Fränzle; Bai Xue 001 (CoRR, 2025)