Interval Change-Point Detection for Runtime Probabilistic Model Checking

Xingyu Zhao, Radu Calinescu, Simos Gerasimou, Valentin Robu, David Flynn

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	35th IEEE/ACM International Conference on Automated Software Engineering
Publication status	Published - 2020

Access to Document

@inproceedings{ba78573145df4f0a817f4cf64a76058b,

title = "Interval Change-Point Detection for Runtime Probabilistic Model Checking",

author = "Xingyu Zhao and Radu Calinescu and Simos Gerasimou and Valentin Robu and David Flynn",

year = "2020",

language = "English",

booktitle = "35th IEEE/ACM International Conference on Automated Software Engineering",

}