A pipeline that turns collected runs of a vision-based controller into an interval MDP, verifies a safety lower bound, and reuses Bayesian conformance to extend the bound to new environments.
A Model Counter's Guide to Probabilistic Systems
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
In this paper, we systematize the modeling of probabilistic systems for the purpose of analyzing them with model counting techniques. Starting from unbiased coin flips, we show how to model biased coins, correlated coins, and distributions over finite sets. From there, we continue with modeling sequential systems, such as Markov chains, and revisit the relationship between weighted and unweighted model counting. Thereby, this work provides a conceptual framework for deriving #SAT encodings for probabilistic inference.
fields
eess.SY 1years
2025 1verdicts
REJECT 1representative citing papers
citing papers explorer
-
Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy
A pipeline that turns collected runs of a vision-based controller into an interval MDP, verifies a safety lower bound, and reuses Bayesian conformance to extend the bound to new environments.