TY  - RPRT
TI  - Stochastic World Models for Verifying Vision-Based Neural Feedback Systems
AU  - I. Samuel Akinwande
AU  - Mykel J. Kochenderfer
AU  - Clark Barrett
PY  - 2026
UR  - https://arxiv.org/abs/2609.38120
ID  - 2609.38120
ER  -