Markov Reward Models and Markov Decision Processes in Discrete and Continuous Time: Performance Evaluation and Optimization

From MaRDI portal
Revision as of 20:15, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2937736

DOI10.1007/978-3-662-45489-3_6zbMath1426.68190OpenAlexW90968195MaRDI QIDQ2937736

Markus Siegle, Alexander Gouberman

Publication date: 12 January 2015

Published in: Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-45489-3_6




Related Items (2)


Uses Software



Cites Work




This page was built for publication: Markov Reward Models and Markov Decision Processes in Discrete and Continuous Time: Performance Evaluation and Optimization