Stochastic World Models for Verifying Vision-Based Neural Feedback Systems

I. Samuel Akinwande, Mykel J. Kochenderfer, Clark Barrett

Verifying a vision-based neural feedback system requires a model of the observations its controller acts upon. Such a model must capture the variation the sensor produces, while re…