Deterministic World Models for Verification of Closed-loop Vision-based Systems

ArXi:2512.08991v2 Announce Type: replace-cross Verifying closed-loop vision-based control systems remains a fundamental challenge due to the high dimensionality of images and the difficulty of modeling visual environments. While generative models are increasingly used as camera surrogates in verification, their reliance on stochastic latent variables