Derivation and verification of synergy coordinates for the DLR hand arm system.

Thomas Wimböck Jens Reinecke Maxime Chalon

Published in: CASE (2012)

Keyphrases

model checking
image sequences
description logics
formal verification
functional verification
automated reasoning
signature verification
joint space
neural network
database systems
integrity constraints
face verification