Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia
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 Interval Change-Point Detection for Runtime Probabilistic Model Checking
Show activities from other conferences

ASE 2020-profile
View general profile