Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems
From MaRDI portal
Publication:2979266
DOI10.1109/TAC.2016.2535128zbMath1359.93537arXiv1410.8054OpenAlexW2963922879MaRDI QIDQ2979266
No author found.
Publication date: 3 May 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1410.8054
Dynamic programming (90C39) Optimal stochastic control (93E20) Markov and semi-Markov decision processes (90C40) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Symbolic control for stochastic systems via finite parity games ⋮ Fault-tolerant safe control design of switched and interconnected nonlinear systems ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey
This page was built for publication: Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems