High-Resolution Ultrasound Sensing for Robotics Using Dense Microphone Arrays | IEEE Journals & Magazine | IEEE Xplore