Robust dynamic programming for temporal logic control of stochastic systems. (English) Zbl 1467.93292
Editorial remark: No review copy delivered.
MSC:
93E03 | Stochastic systems in control theory (general) |
93C55 | Discrete-time control/observation systems |
90C39 | Dynamic programming |
03B44 | Temporal logic |