# An efficient statistical model checker for nondeterminism and rare events

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

**Wikidata**: [openalex:W3030250248](https://www.wikidata.org/wiki/openalex:W3030250248)  
**Source**: https://4ort.xyz/entity/an-efficient-statistical-model-checker-for-nondeterminism-and-rare-events