TY  - RPRT
TI  - Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games
AU  - Maria Svorenova
AU  - Jan Kretinsky
AU  - Martin Chmelik
AU  - Krishnendu Chatterjee
AU  - Ivana Cerna
AU  - Calin Belta
PY  - 2015
UR  - https://arxiv.org/abs/1410.5387
ID  - 1410.5387
ER  -