TY - RPRT TI - Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees AU - Devesh Nath AU - Haoran Yin AU - Glen Chou PY - 2026 UR - https://arxiv.org/abs/2601.01076 ID - 2601.01076 ER -