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

From MaRDI portal
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