Model Checking by Censoring Markov Chains and Stochastic Comparison
暂无分享,去创建一个
[1] Holger Hermanns,et al. Discrete-time rewards model-checked (to appear) , 2003 .
[2] Carl D. Meyer,et al. Stochastic Complementation, Uncoupling Markov Chains, and the Theory of Nearly Reducible Systems , 1989, SIAM Rev..
[3] Susanna Donatelli,et al. CSL Model Checking for Generalized Stochastic Petri Nets , 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
[4] Jean-Michel Fourneau,et al. CUT : Combining stochastic ordering and censoring to bound steady-state rewards and first passage time , 2007 .
[5] Conditional steady-state bounds for a subset of states in Markov chains , 2006, SMCtools '06.
[6] Kishor S. Trivedi. Probability and Statistics with Reliability, Queuing, and Computer Science Applications , 1984 .
[7] Robert K. Brayton,et al. Model-checking continuous-time Markov chains , 2000, TOCL.
[8] Jean-Michel Fourneau,et al. Censoring Markov Chains and Stochastic Bounds , 2007, EPEW.
[9] Nihal Pekergin,et al. Stochastic Model Checking with Stochastic Comparison , 2005, EPEW/WS-FM.
[10] Danielle Liu,et al. The censored Markov chain and the best augmentation , 1996, Journal of Applied Probability.
[11] Joost-Pieter Katoen,et al. Faster and Symbolic CTMC Model Checking , 2001, PAPM-PROBMIV.
[12] J. Fourneau,et al. Increasing Convex Monotone Markov Chains: Theory, Algorithm and Applications , 2005 .
[13] Kim G. Larsen,et al. Reduction and Refinement Strategies for Probabilistic Analysis , 2002, PAPM-PROBMIV.
[14] Serge Haddad,et al. Sub-stochastic matrix analysis for bounds computation - Theoretical results , 2007, Eur. J. Oper. Res..
[15] Nihal Pekergin,et al. Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding Distributions , 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
[16] A. Müller,et al. Comparison Methods for Stochastic Models and Risks , 2002 .
[17] Luca de Alfaro,et al. Temporal Logics for the Specification of Performance and Reliability , 1997, STACS.
[18] Laurent Truffet. Near Complete Decomposability: Bounding the Error by a Stochastic Comparison Method , 1997, Advances in Applied Probability.
[19] Bengt Jonsson,et al. A logic for reasoning about time and reliability , 1990, Formal Aspects of Computing.