State Key Laboratory of Computer Science, Institute of Software, CAS, Beijing, China; Nanjing Institute of Software Technology, ISCAS, Nanjing, China; State Key Laboratory of Computer Science, Institute of Software, CAS, Beijing, China; University of Chinese Academy of Sciences, Beijing, China
Liang Zhang, Nathaniel Xu, Pengfei Yang, Gaojie Jin, Cheng-Chao Huang, Lijun Zhang
TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models