@misc{indiciae6fb782357eeb,
  title = {Online Verification Concept for Autonomous Vehicles -- Illustrative Study for a Trajectory Planning Module},
  author = {Tim Stahl and Matthis Eicher and Johannes Betz and Frank Diermeyer},
  year = {2020},
  url = {https://arxiv.org/abs/2005.07740},
  note = {Source identifier: 2005.07740}
}