Towards the Automated Verification of Weibull Distributions for System Failure Rates.
Yu LuAlice A. MillerRuth HoffmannChristopher W. JohnsonPublished in: FMICS-AVoCS (2016)
Keyphrases
- failure rate
- automated verification
- log normal
- random variables
- model checking
- automated reasoning
- storage capacity
- formal verification
- occurrence probability
- probability distribution
- graphical models
- temporal logic
- confidence intervals
- data sets
- error rate
- graph theory
- upper bound
- knowledge representation
- expert systems
- reinforcement learning
- training data