Yangjia Li

Conference Papers

1. Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan (2018). What's to Come is Still Unsure. In ATVA 2018. PDF Cite Code Slides Video DOI Distinguished Paper Award
2. Bai Xue, Peter Nazier Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li, Naijun Zhan (2017). Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations. In FORMATS 2017. PDF Cite Slides Video DOI
3. Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan (2016). Validated Simulation-Based Verification of Delayed Differential Dynamics. In FM 2016. PDF Cite Code Poster Slides DOI
4. Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan (2016). Computing Reachable Sets of Linear Vector Fields Revisited. In ECC 2016. PDF Cite Code Slides DOI

Preprints

1. Yangjia Li, Naijun Zhan, Mingshuai Chen, Hui Lu, Guohua Wu, Joost-Pieter Katoen (2020). On Termination of Polynomial Programs with Equality Conditions. arXiv. Preprint. PDF Cite Code DOI