Temporal Logic-Based Multi-Vehicle Backdoor Attacks against Offline RL Agents in End-to-end Autonomous Driving - Chen, Xuan; Feng, Shiwei; Xiong, Zikang; An, Shengwei; Mao, Yunshu; Yan, Lu; Tao, Guanhong; Guo, Wenbo; Zhang, Xiangyu (Advances in Neural Information Processing Systems, 2025)