Computing Probabilistic Bounds on State Trajectories for Uncertain Systems | IEEE Journals & Magazine | IEEE Xplore