Dynamic Analysis of Fixed Geometry tracked robots.
Homayoun RastanEric LanteigneAtef E. F. FahimPublished in: Int. J. Robotics Autom. (2014)
Keyphrases
- dynamic analysis
- static analysis
- reverse engineering
- mobile robot
- real time
- cooperative
- autonomous robots
- multi robot
- model checking
- image sequences
- malicious behavior
- fixed number
- human robot
- human robot interaction
- geometric structure
- source code
- software engineering
- multiple robots
- search and rescue
- abstract interpretation
- robotic agents
- data warehouse
- high level
- artificial intelligence
- machine learning
- databases