Login
Document type:
Sammelbandbeitrag / Paper in Collective Volume
Title:
Markov Reward Models and Markov Decision Processes in Discrete and Continuous Time: Performance Evaluation and Optimization
Collection title:
Stochastic Model Checking
Collection subtitle:
Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems
Collection editors:
Remke, A.; Stoelinga, M.
Series title:
Lecture Notes in Computer Science
Series volume:
8453
Publisher:
Springer International Publishing
Year:
2014
Pages from - to:
156-241
Language:
Englisch
Department:
Fakultät für Informatik
Institute:
INF 3 - Institut für Technische Informatik
Chair:
Siegle, Markus
BibTeX