Robustness-based Synthesis for Stochastic Systems under Signal Temporal Logic Tasks
Guy Scher,Sadra Sadraddini,Hadas Kress-Gazit,Guy Scher,Sadra Sadraddini,Hadas Kress-Gazit
We develop a method for synthesizing control policies for stochastic, linear, time-varying systems that must perform tasks specified in signal temporal logic. We build upon an efficient, sampling-based framework that computes the probability of the system satisfying its specification. By exploiting the properties of linear systems and robustness score in temporal logic specifications, we obtain sa...
