Static analysis of novel continuum robot driven by PAMs.
Ying ZhangChaoqun XiangHui YangYongqiang LiLina HaoPublished in: URAI (2016)
Keyphrases
- static analysis
- dynamic analysis
- mobile robot
- source code
- symbolic execution
- human robot interaction
- malicious code
- robotic systems
- regular expressions
- robot navigation
- java card
- test suite
- abstract interpretation
- multi robot
- path planning
- position and orientation
- autonomous robots
- humanoid robot
- test generation
- vision system
- reverse engineering
- matching algorithm
- test set
- data sets