The following pages link to Control synthesis for stochastic systems given automata specifications defined by stochastic sets (Q503162):
Displayed 1 item.