Keyphrases
- motion planning
- mobile robot
- formal specification
- path planning
- trajectory planning
- degrees of freedom
- robot arm
- multi robot
- obstacle avoidance
- model checking
- computer networks
- robotic arm
- humanoid robot
- robotic tasks
- autonomous mobile robot
- distributed systems
- inverse kinematics
- object oriented design
- dynamic environments
- cyber physical systems
- mechanical systems
- specification languages
- reverse engineering
- multi agent
- configuration space
- collision free
- unknown environments
- robot control
- formal methods
- object recognition
- manipulation tasks
- three dimensional
- relational databases
- viewpoint
- open source
- multi modal
- communication networks
- motion control
- autonomous robots
- visual servoing
- collision avoidance