# Qualitative and quantitative model checking of distributed probabilistic timed actors

> Research article (Simulation Modelling Practice and Theory, 2018) · cited 24× · AI/ML

**Wikidata**: [openalex:W2883192875](https://www.wikidata.org/wiki/openalex:W2883192875)  
**Source**: https://4ort.xyz/entity/qualitative-and-quantitative-model-checking-of-distributed-probabilistic-timed-actors