Safety provisions for human/robot interactions using stochastic discrete abstractions | IEEE Conference Publication | IEEE Xplore