Eess 3 JAN, 2026 Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees By Devesh Nath