REDOUBT: Duo Safety Validation for Autonomous Vehicle Motion Planning - Wang, Shuguang; Zhou, Qian; Wu, Kui; Wu, Dapeng; Lee, Wei-Bin; Wang, Jianping (Advances in Neural Information Processing Systems, 2025)