Registered user since Thu 2 Aug 2018

Name:Guoxin Su
Affiliation:University of Wollongong, Australia
Research interests:Formal verification, probabilistic reasoning, big data

Contributions

ESEC/FSE 2018 Author of Verifying the Long-Run Behavior of Probabilistic System Models in the Presence of Uncertainty within the Research Papers-track