Hanrui Zhao
Orcid: 0000-0001-5246-0330
According to our database1,
Hanrui Zhao authored at least 9 papers
between 2020 and 2026.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2026
Safe Reinforcement Learning for NN-Controlled Systems With Neural Barrier Certificate Guidance.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., May, 2026
Incremental Synthesis of Safe Controller Guided by Learning-Enabled Barrier Certificates with Efficient LP Verification.
Proceedings of the Formal Methods - 27th International Symposium, 2026
2025
Learning-enabled Polynomial Lyapunov Function Synthesis via High-Accuracy Counterexample-Guided Framework.
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.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024
Neural Barrier Certificates Synthesis of NN-Controlled Continuous Systems via Counterexample-Guided Learning.
Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024
2023
Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning.
ACM Trans. Embed. Comput. Syst., October, 2023
VerifyRealRoots: A Matlab Package for Computing Verified Real Solutions of Polynomials Systems of Equations and Inequalities.
J. Syst. Sci. Complex., April, 2023
Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning.
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.
Comput. Intell. Neurosci., 2020