SPLASH 2023 (series) / Shenghua Feng
Registered user since Sat 11 Mar 2023
Name:Shenghua Feng
Country:China
Affiliation:SKLCS, Institute of Software, University of Chinese Academy of Sciences
Research interests:Formal Verification, Probabilistic Programs, Hybrid Sytems
Contributions
SPLASH 2023 | Lower Bounds for Possibly Divergent Probabilistic Programs | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile