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