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: |