TY - RPRT TI - Data-Driven Reachability of Nonlinear Lipschitz Systems via Koopman Operator Embeddings AU - Alireza Naderi AU - Ahmad Hafez AU - Abdulla Fawzy AU - Amr Alanwar PY - 2026 UR - https://arxiv.org/abs/2604.00150 ID - 2604.00150 ER -