Probabilistic Failure Analysis in Model Validation & Verification.

Ning Ge Marc Pantel Xavier Crégut

Published in: CoRR (2016)

Keyphrases

model validation
learning algorithm
data analysis
formal analysis
artificial neural networks
data driven
statistical analysis
neural network
artificial intelligence
bayesian networks
search algorithm
medical images
distributed systems