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
Publisher	IEEE
ISBN (Electronic)	978-1-4503-6768-4
Publication status	Published - 24 Dec 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",

month = dec,

day = "24",

language = "English",

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

publisher = "IEEE",

address = "United States",

}