A Formal Semantics for Multiple Vehicle Task and Motion Planning.
Neil Rugg-GunnStephen CameronPublished in: ICRA (1994)
Keyphrases
- formal semantics
- motion planning
- degrees of freedom
- trajectory planning
- path planning
- robot arm
- mobile robot
- humanoid robot
- robotic arm
- mechanical systems
- autonomous mobile robot
- robotic tasks
- modelling language
- kinematic model
- logical language
- real time
- database systems
- first order logic
- manipulation tasks
- vision system
- relational databases
- logical reasoning