Mini-Batch Robustness Verification of Deep Neural Networks