Dejin Ren

According to our database, Dejin Ren authored at least 4 papers in 2023.

Collaborative distances:

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

2023

Reach-avoid Analysis for Sampled-data Systems with Measurement Uncertainties.

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

CoRR, 2023

Verifying Safety of Neural Networks from Topological Perspectives.

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

CoRR, 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