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.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
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.