Mini-Batch Robustness Verification of Deep Neural Networks. - Saar Tzour-Shaday; Dana Drachsler-Cohen (CoRR, 2025)