A Markov Jump Approach to Modeling and Analysis of Pedestrian Dynamics | IEEE Journals & Magazine | IEEE Xplore