@inproceedings{1206052,
 address = {Seattle, Washington, USA},
 author = {Mária Svoreňová and Jan Křetínský and Martin Chmelík and Krishnendu Chatterjee and Ivana Černá and Calin Belta},
 booktitle = {Proceedings of ACM international conference on Hybrid Systems: Computation and Control},
 howpublished = {elektronická verze "online"},
 isbn = {978-1-4503-3433-4},
 keywords = {control; linear temporal logic (LTL); linear stochastic system; games},
 language = {eng},
 location = {Seattle, Washington, USA},
 pages = {259-268},
 publisher = {Association for Computing Machinery (ACM)},
 title = {Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games},
 year = {2015}
}