Static Analysis of Rotary Positioning Modules for Technological Head of the Robot.
Jan SemjonMarek VagasVladimír BalázPublished in: RAAD (2015)
Keyphrases
- static analysis
- dynamic analysis
- modular robots
- mobile robot
- source code
- malicious code
- human robot interaction
- java card
- test generation
- robotic systems
- surgical instruments
- real time
- symbolic execution
- vision system
- abstract interpretation
- test suite
- regular expressions
- multi robot
- autonomous robots
- dynamic model
- humanoid robot
- building blocks
- real world
- feature space
- training data
- databases