Stochastic World Models for Verifying Vision-Based Neural Feedback Systems | TickerVault