related documents HapticBots: Distributed Encountered-type Haptics for VR with Multiple Shape-changing Mobile Robots Conference Proceeding