TY - RPRT TI - Data-Driven Control via Conditional Mean Embeddings: Formal Guarantees via Uncertain MDP Abstraction AU - Ibon Gracia AU - Morteza Lahijanian PY - 2025 UR - https://arxiv.org/abs/2512.13940 ID - 2512.13940 ER -