![](/img/cover-not-exists.png)
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, CalinLanguage:
english
Journal:
Nonlinear Analysis: Hybrid Systems
DOI:
10.1016/j.nahs.2016.04.006
Date:
June, 2016
File:
PDF, 2.15 MB
english, 2016