Adaptive Discretization for Probabilistic Safety Cost Functions Evaluation