Probabilistic Fault Localisation.
David LandsbergHana ChocklerDaniel KroeningPublished in: Haifa Verification Conference (2016)
Keyphrases
- fault diagnosis
- context sensitive
- fault detection
- bayesian networks
- data driven
- database
- transmission line
- website
- probabilistic model
- generative model
- posterior probability
- multiple faults
- probabilistic logic
- first order logic
- artificial neural networks
- decision trees
- image processing
- artificial intelligence
- genetic algorithm