Automatic synthesis of experiment designs from probabilistic environment specifications

Craig Innes; Yordan Hristov; George Kamaras; Subramanian Ramamoorthy

doi:10.48550/arXiv.2107.00093

Automatic synthesis of experiment designs from probabilistic environment specifications

Craig Innes, Yordan Hristov, George Kamaras, Subramanian Ramamoorthy

Research output: Contribution to conference › Paper › peer-review

Abstract

This paper presents an extension to the probabilistic programming language ProbRobScene, allowing users to automatically synthesize uniform experiment designs directly from environment specifications. We demonstrate its effectiveness on a number of environment specification snippets from tabletop manipulation, and show that our method generates reliably low-discrepancy designs.

Original language	English
Pages	1-4
Number of pages	4
DOIs	https://doi.org/10.48550/arXiv.2107.00093
Publication status	Published - 19 Jul 2021
Event	10th Workshop on Synthesis: Co-located with the 33rd International Conference on Computer Aided Verification - Los Angeles, United States Duration: 19 Jul 2021 → 19 Jul 2021 https://workshops.inf.ed.ac.uk/SYNT2021/index.html

Workshop

Workshop	10th Workshop on Synthesis
Abbreviated title	SYNT 2021
Country/Territory	United States
City	Los Angeles
Period	19/07/21 → 19/07/21
Internet address	https://workshops.inf.ed.ac.uk/SYNT2021/index.html

Keywords / Materials (for Non-textual outputs)

computational geometry
design of experiments
probabilistic specification
verification
robotics

Access to Document

10.48550/arXiv.2107.00093Licence: All Rights Reserved

Automatic Synthesis_INNES_DOA17062021_AFVAccepted author manuscript, 1.13 MBLicence: All Rights Reserved

UKRI Trustworthy Autonomous Systems Node in Governance and Regulation
Ramamoorthy, R., Belle, V., Bundy, A., Jackson, P., Lascarides, A. & Rajan, A.
EPSRC
1/11/20 → 30/04/24
Project: Research

Cite this

@conference{5e1f1655b0d04eb1bf3470cc74ae1139,

title = "Automatic synthesis of experiment designs from probabilistic environment specifications",

abstract = "This paper presents an extension to the probabilistic programming language ProbRobScene, allowing users to automatically synthesize uniform experiment designs directly from environment specifications. We demonstrate its effectiveness on a number of environment specification snippets from tabletop manipulation, and show that our method generates reliably low-discrepancy designs.",

keywords = "computational geometry, design of experiments, probabilistic specification, verification, robotics",

author = "Craig Innes and Yordan Hristov and George Kamaras and Subramanian Ramamoorthy",

year = "2021",

month = jul,

day = "19",

doi = "10.48550/arXiv.2107.00093",

language = "English",

pages = "1--4",

note = "10th Workshop on Synthesis : Co-located with the 33rd International Conference on Computer Aided Verification, SYNT 2021 ; Conference date: 19-07-2021 Through 19-07-2021",

url = "https://workshops.inf.ed.ac.uk/SYNT2021/index.html",

}

TY - CONF

T1 - Automatic synthesis of experiment designs from probabilistic environment specifications

AU - Innes, Craig

AU - Hristov, Yordan

AU - Kamaras, George

AU - Ramamoorthy, Subramanian

PY - 2021/7/19

Y1 - 2021/7/19

N2 - This paper presents an extension to the probabilistic programming language ProbRobScene, allowing users to automatically synthesize uniform experiment designs directly from environment specifications. We demonstrate its effectiveness on a number of environment specification snippets from tabletop manipulation, and show that our method generates reliably low-discrepancy designs.

AB - This paper presents an extension to the probabilistic programming language ProbRobScene, allowing users to automatically synthesize uniform experiment designs directly from environment specifications. We demonstrate its effectiveness on a number of environment specification snippets from tabletop manipulation, and show that our method generates reliably low-discrepancy designs.

KW - computational geometry

KW - design of experiments

KW - probabilistic specification

KW - verification

KW - robotics

U2 - 10.48550/arXiv.2107.00093

DO - 10.48550/arXiv.2107.00093

M3 - Paper

SP - 1

EP - 4

T2 - 10th Workshop on Synthesis

Y2 - 19 July 2021 through 19 July 2021

ER -

Automatic synthesis of experiment designs from probabilistic environment specifications

Abstract

Workshop

Keywords / Materials (for Non-textual outputs)

Access to Document

Fingerprint

Projects

UKRI Trustworthy Autonomous Systems Node in Governance and Regulation

Cite this