# Proactive self-adaptation under uncertainty: a probabilistic model checking approach

> Research article (Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015) · cited 174× · AI/ML

**Wikidata**: [openalex:W2086502833](https://www.wikidata.org/wiki/openalex:W2086502833)  
**Source**: https://4ort.xyz/entity/proactive-self-adaptation-under-uncertainty-a-probabilistic-model-checking-approach