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