Dejin Ren

According to our database, Dejin Ren authored at least 8 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

CoRR, June, 2025

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

CoRR, April, 2025

2024

Verifying safety of neural networks from topological perspectives.

Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu

Sci. Comput. Program., 2024

Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis.

Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Reach-Avoid Analysis for Sampled-Data Systems with Measurement Uncertainties.

Taoran Wu, Dejin Ren, Shuyuan Zhang, Lei Wang, Bai Xue

Proceedings of the American Control Conference, 2024

An Iterative Method for Computing Controlled Reach-Avoid Sets.

Dejin Ren, Taoran Wu, Bai Xue

Proceedings of the American Control Conference, 2024

2023

Safety Verification for Neural Networks Based on Set-Boundary Analysis.

Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue

Proceedings of the Theoretical Aspects of Software Engineering, 2023

Model Predictive Control with Reach-avoid Analysis.

Dejin Ren, Wanli Lu, Jidong Lv, Lijun Zhang, Bai Xue

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023