Our new draft verifies image-based controllers by approximating them with several low-dimensional ones.

Citation: 

• Yuang Geng, Souradeep Dutta, Ivan Ruchkin. Bridging Dimensions: Confident Reachability for High-Dimensional Controllers [arxiv]. Preprint, in submission.