Ting Gan

Conference Papers

1. Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan (2016). Computing Reachable Sets of Linear Vector Fields Revisited. ECC 2016. PDF Cite Code Slides DOI
2. Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen (2016). Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF. In IJCAR 2016. PDF Cite Code Slides DOI
3. Ting Gan, Mingshuai Chen, Liyun Dai, Bican Xia, Naijun Zhan (2015). Decidability of the Reachability for a Family of Linear Vector Fields. ATVA 2015. PDF Cite Code Slides DOI