TY - RPRT TI - Deterministic World Models for Closed-loop Reachability Analysis of End-to-End Vision-based Control AU - Yuang Geng AU - Zhongzheng Zhang AU - Chengzhen Jiang AU - Yanru Li AU - Xinyang Wang AU - Zhuoyang Zhou AU - Hoang-Dung Tran AU - Ivan Ruchkin PY - 2026 UR - https://arxiv.org/abs/2512.08991 ID - 2512.08991 ER -