Article Convex Computation of Value-at-Risk Bounds for Stochastic Processes Jared Miller Matteo Tacchi Mario Sznaier Ashkan Jasour Journal IEEE Transactions on Automatic Control Volume 70 Number 6 Pages 3936-3951 Year of Publication 2025 DOI