Automatic Synthesis of Experiment Designs from Probabilistic Environment Specifications.
Craig InnesYordan HristovGeorgios KamarasSubramanian RamamoorthyPublished in: CoRR (2021)
Keyphrases
- mobile robot
- data driven
- real time
- generative model
- bayesian networks
- context sensitive
- computing environments
- reactive systems
- high level
- dynamic environments
- semi automatic
- formal specification
- autonomous agents
- probabilistic logic
- autonomous robots
- changing environment
- indoor environments
- uncertain data
- real world