# Quantitative verification and strategy synthesis for stochastic games

> Research article (European Journal of Control, 2016) · cited 51× · AI/ML

**Wikidata**: [openalex:W2356671789](https://www.wikidata.org/wiki/openalex:W2356671789)  
**Source**: https://4ort.xyz/entity/quantitative-verification-and-strategy-synthesis-for-stochastic-games