Xingyu Zhao

Registered user since Wed 5 Aug 2020

Name:Xingyu Zhao
Country:United Kingdom
Affiliation:Heriot-Watt University
Research interests:Safety assurance, reliability assessment, probabilistic model checking, Bayesian inference

Contributions