Maria Svorenova, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. In Antoine Girard, Sriram Sankaranarayanan, editors, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015. pages 259-268, ACM, 2015. [doi]
@inproceedings{SvorenovaKCCCB15,
title = {Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games},
author = {Maria Svorenova and Jan Kretínský and Martin Chmelik and Krishnendu Chatterjee and Ivana Cerná and Calin Belta},
year = {2015},
doi = {10.1145/2728606.2728608},
url = {http://doi.acm.org/10.1145/2728606.2728608},
researchr = {https://researchr.org/publication/SvorenovaKCCCB15},
cites = {0},
citedby = {0},
pages = {259-268},
booktitle = {Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015},
editor = {Antoine Girard and Sriram Sankaranarayanan},
publisher = {ACM},
isbn = {978-1-4503-3433-4},
}