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

Yuang Geng, Zhongzheng Zhang, Chengzhen Jiang +5

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…