Static analysis of parallel robots with compliant joints for in-hand manipulation.
Júlia Borràs SolAaron M. DollarPublished in: IROS (2012)
Keyphrases
- static analysis
- dynamic analysis
- manipulation tasks
- source code
- symbolic execution
- human hand
- mobile robot
- parallel robot
- malicious code
- autonomous robots
- java card
- test generation
- multi robot
- degrees of freedom
- human robot interaction
- test suite
- human body
- abstract interpretation
- reverse engineering
- humanoid robot
- database systems
- knowledge base
- data management
- case study
- decision trees