Uncertainty propagation for nonlinear dynamics: A polynomial optimization approach. - Francesca Covella; Giovanni Fantuzzi (ACC, 2023)