2 citations · 4 across the 14 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.RO2021
Automated Testing with Temporal Logic Specifications for Robotic Controllers using Adaptive Experiment Design
Craig Innes, Subramanian Ramamoorthy
Many robot control scenarios involve assessing system robustness against a task specification. If either the controller or environment are composed of "black-box" components with u…
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…