A Probabilistic Model for the Estimation of Pedestrian Crossing Behavior at Signalized Intersections | IEEE Conference Publication | IEEE Xplore