# Interval change-point detection for runtime probabilistic model checking

> Research article (Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020) · cited 12× · AI/ML

**Wikidata**: [openalex:W3047409295](https://www.wikidata.org/wiki/openalex:W3047409295)  
**Source**: https://4ort.xyz/entity/interval-change-point-detection-for-runtime-probabilistic-model-checking