Publication

Control synthesis for stochastic systems given automata specifications defined by stochastic sets