Home
News
People
Publications
Seminar
Courses
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
Liyun Dai
Publications with FICTION
Conference Papers
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
Ting Gan
,
Mingshuai Chen
,
Liyun Dai
,
Bican Xia
,
Naijun Zhan
(2015).
Decidability of the Reachability for a Family of Linear Vector Fields
. In
ATVA 2015
.
PDF
Cite
Code
Slides
DOI
Cite
×