Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games

Maria Svorenova, Jan Kretinsky, Martin Chmelik +3

We consider the problem of computing the set of initial states of a dynamical system such that there exists a control strategy to ensure that the trajectories satisfy a temporal lo…