Original language | English |
---|---|
Title of host publication | 35th IEEE/ACM International Conference on Automated Software Engineering |
Publication status | Published - 2020 |
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