Publications

Yubo Cai 蔡宇博, Gleb Pogudin (2023). Dissipative quadratizations of polynomial ODE systems. 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024.

Cite DOI Paper Code arXiv ResearchGate PyPI Slides Poster

Yubo Cai 蔡宇博, Supervised by Prof. Sarah J Berkemer (2023). Analysis of city composition based on basic amenities including public transport. Computer Science Research Project Report.

Paper Slides Code Dataset Result

Yubo Cai 蔡宇博 (2023). Quadratization preprocessing for the reachability Problem. PRL research report.

Paper Code Slides