Safe Controller Synthesis for Nonlinear Systems via Reinforcement Learning and PAC Approximation. - Xia Zeng; Banglong Liu; Zhenbing Zeng; Zhiming Liu 001; Zhengfeng Yang (DAC, 2024)

Polynomial Neural Barrier Certificate Synthesis of Hybrid Systems via Counterexample Guidance. - Hanrui Zhao; Banglong Liu; Lydia Dehbi; Huijiao Xie; Zhengfeng Yang; Haifeng Qian (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Automated Proof of Polynomial Inequalities via Reinforcement Learning. - Banglong Liu; Niuniu Qi; Xia Zeng; Lydia Dehbi; Zhengfeng Yang (CVPR, 2025)

Learning-enabled Polynomial Lyapunov Function Synthesis via High-Accuracy Counterexample-Guided Framework. - Hanrui Zhao; Niuniu Qi; Mengxin Ren; Banglong Liu; Shuming Shi; Zhengfeng Yang (CVPR, 2025)