A Computational Framework for the Verification and Synthesis of Force-Guided Robotic Assembly Strategies.

Michael S. Branicky Siddharth R. Chhatpar

Published in: HSCC (2002)

Keyphrases

computational framework
computational model
tensor voting
active vision
tactile sensing
robotic manipulator
program synthesis
contact force
real time
model checking
neural network
genetic algorithm
mobile robot
data sets
search strategies
formal verification