M

Mascot-SDS

Controller synthesis for stochastic dynamical system by means of finite abstraction