Optimal Continuous Time Markov Decisions

DOI10.1007/978-3-319-24953-7_12zbMath1471.68132arXiv1507.02876OpenAlexW2262106677MaRDI QIDQ3460554

Jan Krčál, Yuliya Butkova, Hassan Hatefi, Holger Hermanns

Publication date: 8 January 2016

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1507.02876

Mathematics Subject Classification ID

Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (7)

Lumpability for uncertain continuous-time Markov chains ⋮ Markov automata with multiple objectives ⋮ Cost vs. time in stochastic games and Markov automata ⋮ Policy Synthesis for Collective Dynamics ⋮ A uniformization-based algorithm for continuous-time stochastic games model checking ⋮ Multi-objective optimization of long-run average and total rewards ⋮ Efficient approximation of optimal control for continuous-time Markov games

This page was built for publication: Optimal Continuous Time Markov Decisions