Skip to content
M

MascotSDS

Project ID: 1239

Controller synthesis for stochastic dynamical system by means of finite abstraction