arXiv cs.LG
· Papers
Deterministic World Models for Closed-loop Reachability Analysis of End-to-End Vision-based Control
arXiv:2512.08991v3 Announce Type: replace-cross Abstract: End-to-end image controllers that map raw camera frames directly to control actions are increasingly deployed in safety-critical systems. However, formally verifying their closed-loop behavior remains an open challenge because cameras produce high-dimensional im