Dejin Ren

15 papers A* 2C 2Misc 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2026 A* conf
Efficient Verification and Falsification of ReLU Neural Barrier Certificates.
AAAI
Dejin Ren, Yiling Xue, Taoran Wu, Bai Xue
2025 J jnl
Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization.
CoRR
Taoran Wu, Yiling Xue, Dejin Ren, Arvind Easwaran, Martin Fränzle, Bai Xue
2025 J jnl
Convex Computations for Controlled Safety Invariant Sets of Black-box Discrete-time Dynamical Systems.
CoRR
Taoran Wu, Yiling Xue, Jingduo Pan, Dejin Ren, Arvind Easwaran, Bai Xue
2025 J jnl
Efficient Verification and Falsification of ReLU Neural Barrier Certificates.
CoRR
Dejin Ren, Yiling Xue, Taoran Wu, Bai Xue
2024 C conf
An Iterative Method for Computing Controlled Reach-Avoid Sets.
ACC
Dejin Ren, Taoran Wu, Bai Xue
2024 — conf
Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis.
CAV (3)
Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue
2024 J jnl
Inner-approximate Reachability Computation via Zonotopic Boundary Analysis.
CoRR
Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue
2024 C conf
Reach-Avoid Analysis for Sampled-Data Systems with Measurement Uncertainties.
ACC
Taoran Wu, Dejin Ren, Shuyuan Zhang, Lei Wang, Bai Xue
2024 J jnl
Verifying safety of neural networks from topological perspectives.
Sci. Comput. Program.
Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu
2023 A* conf
Model Predictive Control with Reach-avoid Analysis.
IJCAI
Dejin Ren, Wanli Lu, Jidong Lv, Lijun Zhang, Bai Xue
2023 J jnl
Model Predictive Control with Reach-avoid Analysis.
CoRR
Dejin Ren, Wanli Lu, Jidong Lv, Lijun Zhang, Bai Xue
2023 J jnl
Reach-avoid Analysis for Sampled-data Systems with Measurement Uncertainties.
CoRR
Taoran Wu, Dejin Ren, Shuyuan Zhang, Lei Wang, Bai Xue
2023 Misc conf
Safety Verification for Neural Networks Based on Set-Boundary Analysis.
TASE
Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue
2023 J jnl
Verifying Safety of Neural Networks from Topological Perspectives.
CoRR
Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu
2022 J jnl
Safety Verification for Neural Networks Based on Set-boundary Analysis.
CoRR
Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue