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

Personal website: https://x-y-zhao.github.io/

Research interests: Safety assurance, reliability assessment, probabilistic model checking, Bayesian inference


ASE 2020Author of Interval Change-Point Detection for Runtime Probabilistic Model Checking within the Research Papers-track
Show activities from other conferences

ASE 2020-profile
View general profile