Model Checking Constrained Markov Reward Models with Uncertainties

2019 ◽  
pp. 37-51
Author(s):  
Giovanni Bacci ◽  
Mikkel Hansen ◽  
Kim Guldstrand Larsen
Keyword(s):  
Model Checking ◽  
Markov Reward ◽  
Markov Reward Models

Performability assessment by model checking of Markov reward models

2010 ◽  
Vol 36 (1) ◽  
pp. 1-36 ◽  
Author(s):  
Christel Baier ◽  
Lucia Cloth ◽  
Boudewijn R. Haverkort ◽  
Holger Hermanns ◽  
Joost-Pieter Katoen
Keyword(s):  
Model Checking ◽  
Markov Reward ◽  
Markov Reward Models

Model checking for performability

2013 ◽  
Vol 23 (4) ◽  
pp. 751-795 ◽  
Author(s):  
C. BAIER ◽  
E. M. HAHN ◽  
B. R. HAVERKORT ◽  
H. HERMANNS ◽  
J.-P. KATOEN
Keyword(s):  
Model Checking ◽  
Logic Model ◽  
Historical Account ◽  
Temporal Logics ◽  
Markov Reward ◽  
Logic Model Checking ◽  
Markov Reward Models ◽  
Large Case ◽  
Unified Method

This paper gives a bird's-eye view of the various ingredients that make up a modern, model-checking-based approach to performability evaluation: Markov reward models, temporal logics and continuous stochastic logic, model-checking algorithms, bisimulation and the handling of non-determinism. A short historical account as well as a large case study complete this picture. In this way, we show convincingly that the smart combination of performability evaluation with stochastic model-checking techniques, developed over the last decade, provides a powerful and unified method of performability evaluation, thereby combining the advantages of earlier approaches.

scholarly journals Analysis of inhomogeneous Markov reward models

2004 ◽  
Vol 386 ◽  
pp. 383-405 ◽  
Author(s):  
M. Telek ◽  
A. Horváth ◽  
G. Horváth
Keyword(s):  
Markov Reward ◽  
Markov Reward Models

Numerical analysis of large Markov reward models

1999 ◽  
Vol 36-37 ◽  
pp. 95-114 ◽  
Author(s):  
Miklós Telek ◽  
Sándor Rácz
Keyword(s):  
Numerical Analysis ◽  
Markov Reward ◽  
Markov Reward Models

Second-order Markov reward models driven by QBD processes

2012 ◽  
Vol 69 (9) ◽  
pp. 440-455 ◽  
Author(s):  
Nigel G. Bean ◽  
Małgorzata M. O’Reilly ◽  
Yong Ren
Keyword(s):  
Second Order ◽  
Qbd Processes ◽  
Markov Reward ◽  
Markov Reward Models

Specification techniques for Markov reward models

1993 ◽  
Vol 3 (2-3) ◽  
pp. 219-247 ◽  
Author(s):  
Boudewijn R. Haverkort ◽  
Kishor S. Trivedi
Keyword(s):  
Markov Reward ◽  
Specification Techniques ◽  
Markov Reward Models
Sign in / Sign up

Export Citation Format

Share Document