Deterministic World Models for Verification of Closed-loop Vision-based Systems
Published in , 2025
we propose a Deterministic World Model (DWM) that maps system states directly to generative images,effectively eliminating uninterpretable latent variables to ensure precise input bounds.