Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms.