Online Verification Concept for Autonomous Vehicles – Illustrative Study for a Trajectory Planning Module | IEEE Conference Publication | IEEE Xplore