Login / Signup
Hanrui Zhao
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 4
Top Topics
Inverted Pendulum
Biologically Plausible
Polynomial Equations
Reinforcement Learning
Top Venues
ACM Trans. Embed. Comput. Syst.
Comput. Intell. Neurosci.
J. Syst. Sci. Complex.
DAC
</>
Publications
</>
Zhengfeng Yang
,
Hanrui Zhao
,
Lihong Zhi
VerifyRealRoots: A Matlab Package for Computing Verified Real Solutions of Polynomials Systems of Equations and Inequalities.
J. Syst. Sci. Complex.
36 (2) (2023)
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)
Junwei Du
,
Hanrui Zhao
,
Yangyang Yu
,
Qiang Hu
A Method to Extract Causality for Safety Events in Chemical Accidents from Fault Trees and Accident Reports.
Comput. Intell. Neurosci.
2020 (2020)