Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4.

Yassmeen Elderhalli Waqar Ahmad Osman Hasan Sofiène Tahar

Published in: CoRR (2018)

Keyphrases

dynamic environments
neural network
machine learning
fault detection
search engine
decision making
data analysis
probabilistic logic
real time
belief networks
context sensitive
bayesian networks
image sequences
knowledge base
information systems
genetic algorithm
information retrieval