Dejin Ren

2 accepted papers

2026

Efficient Verification and Falsification of ReLU Neural Barrier Certificates

Dejin Ren, Yiling Xue, Taoran Wu, Bai Xue

AAAI 2026technical

Barrier certificates play an important role in verifying the safety of continuous-time systems, including autonomous driving, robotic manipulators and other critical applications. Recently, ReLU neural barrier certificates---barrier certificates represented by the ReLU neural networks---have attrac

Cited by 0 Source ↗PDF ↗Scholar ↗

2023

Model Predictive Control with Reach-avoid Analysis

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

IJCAI 2023poster

In this paper we investigate the optimal controller synthesis problem, so that the system under the controller can reach a specified target set while satisfying given constraints. Existing model predictive control (MPC) methods learn from a set of discrete states visited by previous (sub-)optimized…

Cited by 0 Source ↗PDF ↗Scholar ↗