most citedAutomatic Synthesis of Experiment Designs from Probabilistic Environment Specifications

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2021★ 1 cited

Automatic Synthesis of Experiment Designs from Probabilistic Environment Specifications

Craig Innes, Yordan Hristov, Georgios Kamaras +1

This paper presents an extension to the probabilistic programming language ProbRobScene, allowing users to automatically synthesize uniform experiment designs directly from environ…