# On-the-fly model checking for extended action-based probabilistic operators

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

**Wikidata**: [openalex:W2885070057](https://www.wikidata.org/wiki/openalex:W2885070057)  
**Source**: https://4ort.xyz/entity/on-the-fly-model-checking-for-extended-action-based-probabilistic-operators