Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms. - Sankaranarayanan, Sriram; Chou, Yi; Goubault, Eric; Putot, Sylvie (Advances in Neural Information Processing Systems, 2020)