conftrace_

stochastic dynamical system

12 papers

Explore in graph

Co-occurring keywords

bayesian inverse problem (10) formal verification (284) uncertainty quantification (1393) continuous-time system (9) microbiome dynamics (1) probabilistic numerical method (9) interaction module (4) neural certificate (2) unknown drift (1) reach-avoid probability (2)

Papers

Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions AAAI 2026
Neural Continuous-Time Supermartingale Certificates AAAI 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
Probabilistic Exponential Integrators NIPS 2023
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming ICML 2023
Sharp Spectral Rates for Koopman Operator Learning NIPS 2023
Score-based Data Assimilation NIPS 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