Probabilistic Reachability atualizado