FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: