Banglong Liu

According to our database, Banglong Liu authored at least 7 papers between 2024 and 2026.

Collaborative distances:

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

2026

Safe Reinforcement Learning for NN-Controlled Systems With Neural Barrier Certificate Guidance.

Hanrui Zhao, Mengxin Ren, Banglong Liu, Niuniu Qi, Xia Zeng, Zhenbing Zeng, Zhengfeng Yang

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., May, 2026

2025

Global Optimization for Heilbronn Problem of Convex Polygons Based on Bilinear Matrix Inequalities Solving.

Niuniu Qi, Lydia Dehbi, Banglong Liu, Zhengfeng Yang, Zhenbing Zeng

J. Syst. Sci. Complex., 2025

An iterative scheme of hybrid controller synthesis for nonlinear systems subject to safety constraints.

Niuniu Qi, Xia Zeng, Banglong Liu, Zhengfeng Yang, Xiaochao Tang, Li Zhang, Chao Peng, Zhenbing Zeng

Inf. Comput., 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

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2025

Automated Proof of Polynomial Inequalities via Reinforcement Learning.

Banglong Liu, Niuniu Qi, Xia Zeng, Lydia Dehbi, Zhengfeng Yang

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2025

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., November, 2024

Safe Controller Synthesis for Nonlinear Systems via Reinforcement Learning and PAC Approximation.

Xia Zeng, Banglong Liu, Zhenbing Zeng, Zhiming Liu, Zhengfeng Yang

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024