Safety provisions for human/robot interactions using stochastic discrete abstractions