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 002 (Comput. Intell. Neurosci., 2020)

Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning. - Hanrui Zhao; Xia Zeng; Niuniu Qi; Zhengfeng Yang; Zhenbing Zeng (DAC, 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., 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., 2023)

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 (DAC, 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., 2024)

Learning-enabled Polynomial Lyapunov Function Synthesis via High-Accuracy Counterexample-Guided Framework. - Hanrui Zhao; Niuniu Qi; Mengxin Ren; Banglong Liu; Shuming Shi; Zhengfeng Yang (CVPR, 2025)