Improving probability estimation through active probabilistic model learning

• Main Authors: WANG, Jingyi, CHEN, Xiaohong, SUN, Jun, QIN, Shengchao
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2017
• Subjects: Embedded systems; Formal methods; Software engineering; Water treatment; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/4708; https://ink.library.smu.edu.sg/context/sis_research/article/5711/viewcontent/Improving_Prob_Est_icfem2017_av.pdf
• Institution: Singapore Management University

It is often necessary to estimate the probability of certain events occurring in a system. For instance, knowing the probability of events triggering a shutdown sequence allows us to estimate the availability of the system. One approach is to run the system multiple times and then construct a probab...