Liyun Dai

Publications with FICTION

Conference Papers

1. 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
2. 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