related documents Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms Conference Proceeding