A stochastic reachability approach to emergency building evacuation | IEEE Conference Publication | IEEE Xplore