TY  - RPRT
TI  - Formal Uncertainty Propagation for Stochastic Dynamical Systems with Additive Noise
AU  - Steven Adams
AU  - Eduardo Figueiredo
AU  - Luca Laurenti
PY  - 2025
UR  - https://arxiv.org/abs/2505.11219
ID  - 2505.11219
ER  -