# Learning probabilistic models for model checking: an evolutionary approach and an empirical study

> Research article (International Journal on Software Tools for Technology Transfer, 2018) · cited 10× · AI/ML

**Wikidata**: [openalex:W2801898543](https://www.wikidata.org/wiki/openalex:W2801898543)  
**Source**: https://4ort.xyz/entity/learning-probabilistic-models-for-model-checking-an-evolutionary-approach-and-an-empirical-study