[ACM Press the 18th International Conference - Seattle, Washington (2015.04.14-2015.04.16)] Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 - Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
Svoreňová, Mária, Křetínský, Jan, Chmelík, Martin, Chatterjee, Krishnendu, Černá, Ivana, Belta, CalinYear:
2015
Language:
english
DOI:
10.1145/2728606.2728608
File:
PDF, 1.06 MB
english, 2015