Huijiao Xie

According to our database, Huijiao Xie authored at least 1 paper in 2024.

Collaborative distances:

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

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