Keyphrases
- motion planning
- mobile robot
- formal specification
- path planning
- trajectory planning
- degrees of freedom
- multi robot
- robot arm
- obstacle avoidance
- computer networks
- autonomous mobile robot
- dynamic environments
- robotic tasks
- object oriented design
- distributed systems
- robotic arm
- inverse kinematics
- cyber physical systems
- mechanical systems
- collision free
- robot control
- humanoid robot
- configuration space
- formal methods
- robotic systems
- model checking
- specification languages
- visual servoing
- collision avoidance
- information systems
- motion control
- potential field
- communication protocols
- reverse engineering
- multi modal
- programming language
- climbing robot