conf.researchr.org / Xingyu Zhao
Registered user since Wed 5 Aug 2020
Name:Xingyu Zhao
Country:United Kingdom
Affiliation:Heriot-Watt University
Personal website:https://x-y-zhao.github.io/
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 |