Keyphrases
- dynamic analysis
- manipulation tasks
- static analysis
- reverse engineering
- robot navigation
- object manipulation
- motion planning
- robotic systems
- human robot interaction
- impedance control
- humanoid robot
- human activities
- model checking
- software engineering
- end effector
- robotic arm
- service robots
- regular expressions
- autonomous robots
- source code
- mobile robot
- case study
- real world