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

From MaRDI portal
(Redirected from Publication:503162)