A Markov Decision Process Model for a Reinforcement Learning-based Autonomous Pedestrian Crossing Protocol | IEEE Conference Publication | IEEE Xplore