Online Verification Concept for Autonomous Vehicles - Illustrative Study for a Trajectory Planning Module. - Tim Stahl; Matthis Eicher; Johannes Betz; Frank Diermeyer (ITSC, 2020)