Model-based Validation as Probabilistic Inference

Open in new window