Niuniu Qi

According to our database, Niuniu Qi authored at least 12 papers between 2022 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

Incremental Synthesis of Safe Controller Guided by Learning-Enabled Barrier Certificates with Efficient LP Verification.

Niuniu Qi, Hanrui Zhao, Zhengfeng Yang, Xia Zeng, Mengxin Ren, Chao Peng, Zhiming Liu

Proceedings of the Formal Methods - 27th International Symposium, 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

A Thought Experiment for Making Computers to Discover Euclidean Geometry Theorems Automatically.

Zhenbing Zeng, Jian Lu, Yaochen Xu, Niuniu Qi

Proceedings of the 13th International Conference on Information Technology: IoT and Smart City, 2025

FrameProver: Leveraging Formal Frameworks in Building Proofs for Enhanced Inference.

Haojia Shan, Beibei Xiong, Niuniu Qi, Zhengfeng Yang

Proceedings of the Advanced Intelligent Computing Technology and Applications, 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

Neural Barrier Certificates Synthesis of NN-Controlled Continuous Systems via Counterexample-Guided Learning.

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

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

2023

Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning.

Hanrui Zhao, Niuniu Qi, Lydia Dehbi, Xia Zeng, Zhengfeng Yang

ACM Trans. Embed. Comput. Syst., October, 2023

Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning.

Hanrui Zhao, Xia Zeng, Niuniu Qi, Zhengfeng Yang, Zhenbing Zeng

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

2022

Constructing Dixon Matrix for Sparse Polynomial Equations Based on Hybrid and Heuristics Scheme.

Guoqiang Deng, Niuniu Qi, Min Tang, Xuefeng Duan

Symmetry, 2022