stochastic system

Kernel-Based Safe Exploration in Deep Reinforcement Learning L4DC 2026 LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems AAAI 2026 Online Adaptive Probabilistic Safety Certificate with Language Guidance L4DC 2026 Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems L4DC 2025 Synthesis of Communication Policies for Multi-Agent Systems Robust to Communication Restrictions IJCAI 2025 Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances L4DC 2025 Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances L4DC 2024 Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation AISTATS 2024 Parametric model reduction of mean-field and stochastic systems via higher-order action matching NeurIPS 2024 Physics-Informed Representation and Learning: Control and Risk Quantification AAAI 2024 Equivariant Neural Simulators for Stochastic Spatiotemporal Dynamics NeurIPS 2023 Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees AAAI 2023 Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach L4DC 2022 Probabilistic Strategy Logic IJCAI 2019 Spectral Learning of Dynamic Systems from Nonequilibrium Data NeurIPS 2016 Inference in continuous-time change-point models NeurIPS 2011