Hanrui Zhao

Orcid: 0000-0001-5246-0330

According to our database1, Hanrui Zhao authored at least 6 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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


  Loading...