A Survey of Randomized Algorithms for Control Synthesis and Performance Verification

Journal of Complexity - United States
doi 10.1016/j.jco.2007.01.003