Bridging Research and Practice in Simulation-based Testing of Industrial Robot Navigation Systems. - Sajad Khatiri; Francisco Eli Vina Barrientos; Maximilian Wulf; Paolo Tonella; Sebastiano Panichella (CoRR, 2025)