Deterministic World Models for Closed-loop Reachability Analysis of End-to-End Vision-based Control

Yuang Geng, Zhuoyang Zhou, Zhongzheng Zhang +6

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-l…