Kineto-static Analysis of an Articulated Six-wheel Rover.
Philippe BidaudFaïz Ben AmarTarik PoulainPublished in: CLAWAR (2005)
Keyphrases
- static analysis
- dynamic analysis
- source code
- human body
- symbolic execution
- malicious code
- java card
- path planning
- regular expressions
- abstract interpretation
- test generation
- human robot interaction
- test suite
- stereo vision
- wheeled mobile robots
- learning algorithm
- object oriented
- vision system
- open source
- domain knowledge
- data model
- knowledge base