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 proceedingConference contribution

Original languageEnglish
Title of host publication35th IEEE/ACM International Conference on Automated Software Engineering
Publication statusPublished - 2020

Cite this