Stochastic World Models for Verifying Vision-Based Neural Feedback Systems.

arXiv:2609.38120v1 Announce Type: new Abstract: 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 remaining tractable for closed-loo