WaveVerif: Acoustic Side-Channel based Verification of Robotic Workflows. - Zeynep Yasemin Erdogan; Shishir Nagaraja; Chuadhry Mujeeb Ahmed; Ryan Shah (CoRR, 2025)