Importance sampling of Interval Markov Chains

• Main Authors: JEGOUREL, Cyrille, WANG, Jingyi, SUN, Jun
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2019
• Subjects: Rare Events; Importance Sampling; Markov Chains; Interval Markov Chains; Dependability; Statistical ModelChecking; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/4967; https://ink.library.smu.edu.sg/context/sis_research/article/5970/viewcontent/importance.pdf
• Institution: Singapore Management University

In real-world systems, rare events often characterize critical situations like the probability that a system fails within some time bound and they are used to model some potentially harmful scenarios in dependability of safety-critical systems. Probabilistic Model Checking has been used to verify de...