Hanrui Zhao

According to our database, Hanrui Zhao authored at least 4 papers between 2020 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

VerifyRealRoots: A Matlab Package for Computing Verified Real Solutions of Polynomials Systems of Equations and Inequalities.

Zhengfeng Yang, Hanrui Zhao, Lihong Zhi

J. Syst. Sci. Complex., April, 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

2020

A Method to Extract Causality for Safety Events in Chemical Accidents from Fault Trees and Accident Reports.

Junwei Du, Hanrui Zhao, Yangyang Yu, Qiang Hu

Comput. Intell. Neurosci., 2020