Robustness of Neural Networks: A Probabilistic and Practical Approach