Yan Zhang, Sriram Sankaranarayanan, Benjamin M. Gyori. Simulation-Guided Parameter Synthesis for Chance-Constrained Optimization of Control Systems. In Diana Marculescu, Frank Liu, editors, Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2015, Austin, TX, USA, November 2-6, 2015. pages 208-215, ACM, 2015. [doi]
Abstract is missing.