Steven Adams, Eduardo Figueiredo 0002, Luca Laurenti. Formal Uncertainty Propagation for Stochastic Dynamical Systems with Additive Noise. In 64th IEEE Conference on Decision and Control, CDC 2025, Rio de Janeiro, Brazil, December 9-12, 2025. pages 1-8, IEEE, 2025. [doi]
Abstract is missing.