Regularization of bellman equations for infinite-horizon probabilistic properties
From MaRDI portal
Publication:2986770
DOI10.1145/2185632.2185666zbMath1362.68186OpenAlexW2065492255MaRDI QIDQ2986770
Ilya Tkachev, Alessandro Abate
Publication date: 16 May 2017
Published in: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2185632.2185666
Discrete-time Markov processes on general state spaces (60J05) Dynamic programming in optimal control and differential games (49L20) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
Characterization and computation of infinite-horizon specifications over Markov processes ⋮ Symbolic control for stochastic systems via finite parity games ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey ⋮ Robustly complete finite-state abstractions for verification of stochastic systems
This page was built for publication: Regularization of bellman equations for infinite-horizon probabilistic properties
