Providing Safety - Using Probabilistic Or Deterministic Methods | AMiner