Distributed Proximity Sensors-Integrated Hyper-Redundant Robots With Augmented Spatial Shape for Unstructured Environment Exploration | IEEE Journals & Magazine | IEEE Xplore