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

ASE 2020 Author of Interval Change-Point Detection for Runtime Probabilistic Model Checking within the Research Papers-track