Improved reachability analysis in DTMC via divide and conquer

• Main Authors: SONG, Songzheng, GUI, Lin, SUN, Jun, LIU, Yang, DONG, Jin Song
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2013
• Subjects: Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/5002; https://ink.library.smu.edu.sg/context/sis_research/article/6005/viewcontent/improved.pdf
• Institution: Singapore Management University

Discrete Time Markov Chains (DTMCs) are widely used to model probabilistic systems in many domains, such as biology, network and communication protocols. There are two main approaches for probability reachability analysis of DTMCs, i.e., solving linear equations or using value iteration. However, bo...