Task Verification Facility for the Canadian Special Purpose Dextrous Manipulator.
Jean-Claude PiedboeufJean de CarufelFarhad AghiliErick DupuisPublished in: ICRA (1999)
Keyphrases
- special purpose
- general purpose
- degrees of freedom
- model checking
- control system
- path planning
- single facility
- face verification
- robot manipulators
- inverse kinematics
- highly optimized
- formal verification
- income tax
- laparoscopic surgery
- verification method
- asynchronous circuits
- robotic manipulator
- computer controlled
- database
- d objects
- computer vision