Real-Time Certified Probabilistic Pedestrian Forecasting | IEEE Journals & Magazine | IEEE Xplore