ProbRobScene: A Probabilistic Specification Language for 3D Robotic Manipulation Environments.
Craig InnesSubramanian RamamoorthyPublished in: CoRR (2020)
Keyphrases
- specification language
- formal specification
- programming language
- description language
- manipulation tasks
- robotic systems
- autonomous robots
- software environment
- bayesian networks
- symbolic execution
- probabilistic model
- requirements specification
- human operators
- dynamic environments
- mobile robot
- source code
- service robots
- real time
- database