Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Andreas Gittis, Eric Vin, Daniel J. Fremont. Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation. In Sharon Shoham, Yakir Vizel, editors, Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II. Volume 13372 of Lecture Notes in Computer Science, pages 526-546, Springer, 2022. [doi]

This author has not been identified. Look up 'Andreas Gittis' in GoogleThis author has not been identified. Look up 'Eric Vin' in GoogleThis author has not been identified. Look up 'Daniel J. Fremont' in Google

runs on WebDSL