Andreas Gittis, Eric Vin, Daniel J. Fremont: Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation. CAV (2) 2022: 526-546