Automatic Synthesis of Experiment Designs from Probabilistic Environment Specifications

06/21/2021
by   Craig Innes, et al.
0

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.

READ FULL TEXT
research
12/29/2020

Synthesizing Approximate Implementations for Unrealizable Specifications

The unrealizability of a specification is often due to the assumption th...
research
06/25/2019

Automatic Conversion from Flip-flop to 3-phase Latch-based Designs

Latch-based designs have many benefits over their flip-flop based counte...
research
04/14/2017

Environment-Independent Task Specifications via GLTL

We propose a new task-specification language for Markov decision process...
research
04/17/2021

GzScenic: Automatic Scene Generation for Gazebo Simulator

Testing robotic and cyberphysical systems in simulation require specific...
research
08/29/2023

LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties

In this paper, we study LTLf synthesis under environment specifications ...
research
01/15/2018

Algebraic Specifications of Wayfinding Using Cognitive Map

This paper outlines the formal representation of the environment in whic...
research
05/27/2020

GraFS: Graph Analytics Fusion and Synthesis

Graph analytics elicits insights from large graphs to inform critical de...

Please sign up or login with your details

Forgot password? Click here to reset