related documents Data-Driven Control via Conditional Mean Embeddings: Formal Guarantees via Uncertain MDP Abstraction Conference Proceeding Learning Nonlinear Continuous-Time Systems for Formal Uncertainty Propagation and Probabilistic Evaluation Conference Proceeding
