Stochastic World Models for Verifying Vision-Based Neural Feedback Systems · Bharat Hunt