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)