ProbRobScene: A Probabilistic Specification Language for 3D Robotic Manipulation Environments.
Craig InnesSubramanian RamamoorthyPublished in: ICRA (2021)
Keyphrases
- specification language
- manipulation tasks
- robotic systems
- formal specification
- description language
- programming language
- software environment
- symbolic execution
- probabilistic model
- real time
- mobile robot
- real world
- dynamic environments
- autonomous robots
- databases
- software architecture
- service robots
- object oriented
- cooperative
- requirements specification