[PPT] - Formal Verification of V2I aided Autonomous Driving Ishan Pardesi PowerPoint Presentation