Banglong Liu

Orcid: 0009-0002-3584-1339

According to our database¹, Banglong Liu authored at least 4 papers between 2024 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

Learning-enabled Polynomial Lyapunov Function Synthesis via High-Accuracy Counterexample-Guided Framework.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2025

Automated Proof of Polynomial Inequalities via Reinforcement Learning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024

Safe Controller Synthesis for Nonlinear Systems via Reinforcement Learning and PAC Approximation.

[BibT_eX]

[DOI]

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

Banglong Liu

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...