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