Dejin Ren

According to our database, Dejin Ren authored at least 6 papers between 2023 and 2024.

Collaborative distances:

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

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