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
https://workshops.inf.ed.ac.uk/SYNT2021/index.html

Conference

Conference10th Workshop on Synthesis
Abbreviated titleSYNT 2021
Country/TerritoryUnited States
CityLos Angeles
Period19/07/2119/07/21
Internet address

Keywords / Materials (for Non-textual outputs)

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

Cite this