The Community for Technology Leaders
Secure Software Integration and Reliability Improvement Companion, IEEE International Conference on (2010)
Singapore, Singapore
June 9, 2010 to June 11, 2010
ISBN: 978-0-7695-4087-0
pp: 24-25
ABSTRACT
A probabilistic system is useful in modeling randomized algorithms (e.g., consensus algorithms), unreliable or unpredictable behaviors (e.g., human behaviors in decision making process), etc. Markov Decision Process (MDP) is used to construct this kind of system, because it has both nondeterministic and probabilistic choices. In this work, we study probabilistic models and analyze some issues such as reachability and LTL model checking with some new methods in calculating the probability.
INDEX TERMS
Probabilistic, MDP, LTL, Model Checking
CITATION
Songzheng Song, "An Efficient Method of Probabilistic Model Checking", Secure Software Integration and Reliability Improvement Companion, IEEE International Conference on, vol. 00, no. , pp. 24-25, 2010, doi:10.1109/SSIRI-C.2010.14
97 ms
(Ver 3.3 (11022016))