Certified Human Trajectory Prediction