Randomized methods for design of uncertain systems: Sample complexity and sequential algorithms. (February 2015)