Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
Authors: Andreas Gittis, Eric Vin and Daniel Fremont
Paper Information
| Title: | Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation |
| Authors: | Andreas Gittis, Eric Vin and Daniel Fremont |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | Quantitative Synthesis, Randomized Planning, Fuzz Testing, Model Counting, Uniform Random Sampling |
| Pages: | 21 |
| Talk: | Aug 10 17:10 (Session 116A: Synthesis and Concurrency) |
| Paper: |  |