Collaborated with:N.Zhan D.Kapur S.Feng M.Fränzle B.X.0001 T.Gan L.Dai B.Xia J.W.0042 J.An B.Zhan
Talks about:interpol (2) delay (2) differenti (1) nonlinear (1) synthesi (1) polynomi (1) unbound (1) quadrat (1) system (1) combin (1)
Person: Mingshuai Chen
DBLP: Chen:Mingshuai
Contributed to:
2016
2019
2019Wrote 3 papers:
- IJCAR-2016-GanDXZKC #polynomial #synthesis
- Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF (TG, LD, BX, NZ, DK, MC), pp. 195–212.
- CADE-2019-ChenWAZKZ #learning #named
- NIL: Learning Nonlinear Interpolants (MC, JW0, JA, BZ, DK, NZ), pp. 178–196.
- CAV-2019-FengCZF0 #bound #difference #equation #verification
- Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations (SF, MC, NZ, MF, BX0), pp. 650–669.