Login / Signup
Niuniu Qi
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Inverted Pendulum
Adaptive Neural Control
Reinforcement Learning
Numerically Stable
Top Venues
ACM Trans. Embed. Comput. Syst.
Symmetry
DAC
</>
Publications
</>
Hanrui Zhao
,
Xia Zeng
,
Niuniu Qi
,
Zhengfeng Yang
,
Zhenbing Zeng
Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning.
DAC
(2023)
Hanrui Zhao
,
Niuniu Qi
,
Lydia Dehbi
,
Xia Zeng
,
Zhengfeng Yang
Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning.
ACM Trans. Embed. Comput. Syst.
22 (5s) (2023)
Guoqiang Deng
,
Niuniu Qi
,
Min Tang
,
Xuefeng Duan
Constructing Dixon Matrix for Sparse Polynomial Equations Based on Hybrid and Heuristics Scheme.
Symmetry
14 (6) (2022)