Feng, Shenghua

1. Lower Bounds for Possibly Divergent Probabilistic Programs
   2023/02/13 by Feng, Shenghua, Chen, Mingshuai, Su, Han +3 · 2 citations
   #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Probability (math.PR)
2. Over- and Under-Approximating Reachable Sets for Perturbed Delay Differential Equations
   2018/12/31 by Xue, Bai, Wang, Qiuye, Feng, Shenghua +1 · 1 citation
   #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
3. On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
   2023/12/24 by Hao Wu, Wu, Hao, Shenghua Feng +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