@misc{indiciaef1dbb9affb04,
  title = {TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models},
  author = {Liang Zhang and Nathaniel Xu and Pengfei Yang and Gaojie Jin and Cheng-Chao Huang and Lijun Zhang},
  year = {2023},
  url = {https://arxiv.org/abs/2308.05985},
  note = {Source identifier: 2308.05985}
}