M

MascotSDS

Controller synthesis for stochastic dynamical system by means of finite abstraction