sisl/ModelBasedValidationInference

This is stars and forks stats for /sisl/ModelBasedValidationInference repository. As of 02 May, 2024 this repository has 0 stars and 1 forks.

Model-based Validation as Probabilistic Inference This is the codebase for the paper "Model-based Validation as Probabilistic Inference" presented at L4DC 2023. We frame estimating the distribution over failure trajectories for sequential systems as Bayesian inference. Our model-based approach represents the distribution over failure trajectories using rollouts of system dynamics and computes trajectory gradients using automatic differentiation. Our method efficiently samples from high-dimensional,...