Login / Signup
Simplified static analysis of large-dimension parallel cable-driven robots.
Marc Gouttefarde
Jean-Francois Collard
Nicolas Riehl
Cédric Baradat
Published in:
ICRA (2012)
Keyphrases
</>
static analysis
dynamic analysis
source code
symbolic execution
abstract interpretation
mobile robot
malicious code
regular expressions
robotic systems
java card
human robot interaction
parallel processing
test generation
multi robot
cooperative
test suite
autonomous robots
data model
relational databases