@misc{indiciaedf4363c97950,
  title = {Formal Uncertainty Propagation for Stochastic Dynamical Systems with Additive Noise},
  author = {Steven Adams and Eduardo Figueiredo and Luca Laurenti},
  year = {2025},
  url = {https://arxiv.org/abs/2505.11219},
  note = {Source identifier: 2505.11219}
}