SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal

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