TY - RPRT TI - Online Verification Concept for Autonomous Vehicles -- Illustrative Study for a Trajectory Planning Module AU - Tim Stahl AU - Matthis Eicher AU - Johannes Betz AU - Frank Diermeyer PY - 2020 UR - https://arxiv.org/abs/2005.07740 ID - 2005.07740 ER -