Ming Xu -

Not registered as user yet

Name:Ming Xu

Affiliation:East China Normal University

Contributions

APSEC 2022	Author of Bisection Value Iteration within the Technical Track-track
POPL 2020	Author of Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time within the Research Papers-track