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 |
