Yan Zhang, Sriram Sankaranarayanan, and Benjamin M Gyori. 2015. “Simulation-Guided Parameter Synthesis for Chance-Constrained Optimization of Control Systems.” In Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, Pp. 208–215. IEEE Press.