# ProFeat: feature-oriented engineering for family-based probabilistic model checking

> Research article (Formal Aspects of Computing, 2017) · cited 85× · AI/ML

**Wikidata**: [openalex:W2742512175](https://www.wikidata.org/wiki/openalex:W2742512175)  
**Source**: https://4ort.xyz/entity/profeat-feature-oriented-engineering-for-family-based-probabilistic-model-checking