# Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games

> Research article (Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015) · cited 21× · AI/ML

**Wikidata**: [openalex:W2148962689](https://www.wikidata.org/wiki/openalex:W2148962689)  
**Source**: https://4ort.xyz/entity/temporal-logic-control-for-stochastic-linear-systems-using-abstraction-refinement-of-probabilistic-games