TY - RPRT TI - DualShield: Safe Model Predictive Diffusion via Reachability Analysis for Interactive Autonomous Driving AU - Rui Yang AU - Lei Zheng AU - Ruoyu Yao AU - Jun Ma PY - 2026 UR - https://arxiv.org/abs/2601.15729 ID - 2601.15729 ER -