Gan, Ting

1. 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
2. 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
3. On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
   2023/12/24 by Hao Wu, Shenghua Feng, Wu, Hao +9 · 1 citation
   Computer Science · Decision Sciences · #Advanced Multi-Objective Optimization Algorithms #FOS: Electrical engineering #Formal Methods in Verification #Probabilistic and Robust Engineering Design #Systems and Control (eess.SY) #electronic engineering #information engineering
4. Learning Diffusions under Uncertainty
   2023/12/13 by Huang, Hao, Yan, Qian, Han, Keqi +4 · 1 citation
   #FOS: Computer and information sciences #Social and Information Networks (cs.SI)