Bridging Dimensions: Confident Reachability for High-Dimensional Controllers. - Yuang Geng; Jake Brandon Baldauf; Souradeep Dutta; Chao Huang 015; Ivan Ruchkin (FM (1), 2024)