Data-Driven Reachability Analysis via Diffusion Models with PAC Guarantees
arXiv:2604.00283v1 Announce Type: cross
Abstract: We present a data-driven framework for reachability analysis of nonlinear dynamical systems that requires no explicit model. A denoising diffusion probabilistic model learns the time-evolving state dis…