Automatic Synthesis of Experiment Designs from Probabilistic Environment Specifications

Craig Innes, Yordan Hristov, George Kamaras, Subramanian Ramamoorthy

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of the 10th Workshop on Synthesis (SYNT 2021)
Number of pages4
Publication statusAccepted/In press - 17 Jun 2021
Event10th Workshop on Synthesis: Co-located with the 33rd International Conference on Computer Aided Verification - Los Angeles, United States
Duration: 19 Jul 202119 Jul 2021


Conference10th Workshop on Synthesis
Abbreviated titleSYNT 2021
Country/TerritoryUnited States
CityLos Angeles
Internet address

Keywords / Materials (for Non-textual outputs)

  • computational geometry
  • design of experiments
  • probabilistic specification
  • verification
  • robotics

Cite this