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