Dai, Liyun
- Barrier Certificates Revisited
2013/10/24 by Liyun Dai, Ting Gan, Dai, Liyun +5 · 1 citation
Computer Science · Engineering · #Formal Methods in Verification #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research
- Interpolation synthesis for quadratic polynomial inequalities and combination with EUF
2016/01/19 by Ting Gan, Gan, Ting, Liyun Dai +9 · 1 citation
Computer Science · #D.2.4 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Numerical Methods and Algorithms #Polynomial and algebraic computation