The Pinch Sensor: An Input Device for In-Hand Manipulation with the Index Finger and Thumb | IEEE Conference Publication | IEEE Xplore