conftrace_

stochastic system

12 papers

Explore in graph

Co-occurring keywords

formal verification (284) stochastic process (388) stochastic control (43) markov decision process (790) mean-field system (1) action matching (2) lipschitz constant (48) stochastic differential equation (181) stochastic game (69) safety verification (28)

Papers

LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems AAAI 2026
Synthesis of Communication Policies for Multi-Agent Systems Robust to Communication Restrictions IJCAI 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 NIPS 2024
Physics-Informed Representation and Learning: Control and Risk Quantification AAAI 2024
Equivariant Neural Simulators for Stochastic Spatiotemporal Dynamics NIPS 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 NIPS 2016
Inference in continuous-time change-point models NIPS 2011