Satisfying Safety Goals by Probabilistic Risk