Hanrui Zhao

According to our database, Hanrui Zhao authored at least 7 papers between 2020 and 2025.

Collaborative distances:

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

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

2024

Polynomial Neural Barrier Certificate Synthesis of Hybrid Systems via Counterexample Guidance.

Hanrui Zhao, Banglong Liu, Lydia Dehbi, Huijiao Xie, Zhengfeng Yang, Haifeng Qian

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 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

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