Bai Xue

Conference Papers

Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen (2021). Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming. In CAV 2021. PDF Cite Slides Video DOI Artifact Evaluated
Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan (2020). Unbounded-Time Safety Verification of Stochastic Differential Dynamics. In CAV 2020. PDF Cite Slides Video DOI Artifact Evaluated Pulp Fiction
Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Fränzle, Bai Xue (2019). Taming Delays in Dynamical Systems. In CAV 2019. PDF Cite Slides DOI Artifact Evaluated
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