REDOUBT: Duo Safety Validation for Autonomous Vehicle Motion Planning | Read Paper on Bytez