Improving probability estimation through active probabilistic model learning
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...
Saved in:
Main Authors: | WANG, Jingyi, CHEN, Xiaohong, SUN, Jun, QIN, Shengchao |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2017
|
Subjects: | |
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 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
Classification-based parameter synthesis for parametric timed automata
by: LI, Jiaying, et al.
Published: (2017) -
On the sequential massart algorithm for statistical model checking
by: JEGOUREL, Cyrille, et al.
Published: (2018) -
Automatically `Verifying’ discrete-time complex systems through learning, abstraction and refinement
by: WANG, Jingyi, et al.
Published: (2018) -
Towards 'verifying' a water treatment system
by: WANG, Jingyi, et al.
Published: (2018) -
Sensor drift detection framework for water systems with probabilistic machine learning
by: Hoang, Thu Minh
Published: (2023)