Approximate safety verification and control of partially observable stochastic hybrid systems. (English) Zbl 1359.93537
Editorial remark: No review copy delivered.
MSC:
93E20 | Optimal stochastic control |
90C39 | Dynamic programming |
68N30 | Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) |
90C40 | Markov and semi-Markov decision processes |