stochastic dynamical system

Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions AAAI 2026 Steering Where to Diffuse: Generative Modeling of Phenotypic Response Simulation with Steered Diffusion Bridge CVPR 2026 Learning Stochastic Nonlinear Dynamics with Embedded Latent Transfer Operators AISTATS 2025 Neural Continuous-Time Supermartingale Certificates AAAI 2025 Predicting the Energy Landscape of Stochastic Dynamical System via Physics-informed Self-supervised Learning ICLR 2025 VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change IJCAI 2025 Bicycle: Intervention-Based Causal Discovery with Cycles CLeaR 2024 Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation AISTATS 2024 Learning invariant representations of time-homogeneous stochastic dynamical systems ICLR 2024 BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming ICML 2023 Probabilistic Exponential Integrators NeurIPS 2023 Score-based Data Assimilation NeurIPS 2023 Sharp Spectral Rates for Koopman Operator Learning NeurIPS 2023 Optimal Control with Learning on the Fly: System with Unknown Drift L4DC 2022 Robust and Scalable Models of Microbiome Dynamics ICML 2018 Learning Stable Stochastic Nonlinear Dynamical Systems ICML 2017