TY - RPRT TI - Safe Navigation in Dynamic Environments Using Data-Driven Koopman Operators and Conformal Prediction AU - Kaier Liang AU - Guang Yang AU - Mingyu Cai AU - Cristian-Ioan Vasile PY - 2025 UR - https://arxiv.org/abs/2504.00352 ID - 2504.00352 ER -