Dejin Ren

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 9

Top Topics

Competitive Learning

Topological Spaces

Model Predictive Control

Top Venues

Sci. Comput. Program.

Publications

Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue
Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis. CAV (3) (2024)
Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu
Verifying safety of neural networks from topological perspectives. Sci. Comput. Program. 236 (2024)
Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue
Inner-approximate Reachability Computation via Zonotopic Boundary Analysis. CoRR (2024)
Dejin Ren, Wanli Lu, Jidong Lv, Lijun Zhang, Bai Xue
Model Predictive Control with Reach-avoid Analysis. CoRR (2023)
Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu
Verifying Safety of Neural Networks from Topological Perspectives. CoRR (2023)
Dejin Ren, Wanli Lu, Jidong Lv, Lijun Zhang, Bai Xue
Model Predictive Control with Reach-avoid Analysis. IJCAI (2023)
Taoran Wu, Dejin Ren, Shuyuan Zhang, Lei Wang, Bai Xue
Reach-avoid Analysis for Sampled-data Systems with Measurement Uncertainties. CoRR (2023)
Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue
Safety Verification for Neural Networks Based on Set-Boundary Analysis. TASE (2023)
Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue
Safety Verification for Neural Networks Based on Set-boundary Analysis. CoRR (2022)