Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation

Andreas Gittis, Eric Vin, Daniel J. Fremont

In many synthesis problems, it can be essential to generate implementations which not only satisfy functional constraints but are also randomized to improve variety, robustness, or…