Niuniu Qi

According to our database, Niuniu Qi authored at least 3 papers between 2022 and 2023.

Collaborative distances:

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

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