%0 Journal Article %T Formal Uncertainty Propagation for Stochastic Dynamical Systems with Additive Noise %A Adams, Steven %A Figueiredo, Eduardo %A Laurenti, Luca %J Electrical Engineering and Systems Science %V 2025 %N 2505 %D 2025-05-16 %~ DeepDyve